• ベストアンサー
※ ChatGPTを利用し、要約された質問です（原文：記号論理学　真理表）

記号論理学の真理表についての質問

aohosiの回答

  • aohosi
  • ベストアンサー率100% (4/4)
回答No.2

#1の補足に書いて頂いた答えで全部合っています。 理解して頂けたようで良かったです。

yoshikikao
質問者

お礼

aohosiさん、このたびは、大変ご親切に、そしてわかりやすいアドバイスをありがとうございました。 おかげさまで、少し自信がつきました。 aohosiさんに教えていただいたようにして、 その他の問題にもチャレンジしていきたいと思います。 大変役に立ちました。 本当に、ありがとうございました！！

この回答がついた質問に戻る
回答 全件
ベストアンサー
真理表とは「真」と「偽」（または「T」と「F」など）で埋めるものなので…
  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 真理値表から論理式を導く

    A B C Z 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 という真理値表があります。A,B,Cが入力でZが出力です。 この場合ZをA,B,Cの論理式で表すとどうなるんでしょうか？また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。

  • 論理式　真理値表

    Aの否定は~Aと表記する。 4入力(A,B,C,D)1出力(O)の論理関数?があります。 論理関数O=○×▽(何問かある) ただし、A・B・~C・~DとA・C・~Dは don't careとすると書いてあり真理値表を書かされるのですがA・B・~C・~DとA・C・~Dは真理値表のどこを示しているのでしょうか？ 回答よろしくお願いします。

  • 論理学　論理式の真理値

    論理学　論理式の真理値 ￢(P∧￢Q) の真理値があっているか見ていただけますか。 P Q 　　￢Q 　　　　P∧￢Q 　　　　￢(P∧￢Q) 1 1 　　　0 　　　　　　　O 　　　　　　　　1 1 0 　　　1 　　　　　　　1 　　　　　　　　0 0 1 　　　0 　　　　　　　0 　　　　　　　　1 0 0 　　　1 　　　　　　　0 　　　　　　　　1 ある記号論理学の入門書（二刷）を使って勉強しています。 具体的な論理式を挙げてタブローの作り方を解説しているページに、「￢(P∧￢Q) が1であるためには、Pか￢Qのどちらかが0でなければならない」という記述があります。しかし、この記述は、僕が上でおこなった真理値の計算と矛盾します。PとQの双方が1でも全体は1になるのではないでしょうか？ ￢(P∧￢Q)の真理値はP∧￢Qの真理値を単純に反転させて出したものですが、この手続きに不備があるのでしょうか？ド・モルガンの法則を使って￢P∨Qに変形させてから計算しても、やはり同じ結果になりました。 僕の真理値計算が間違っているのでしょうか？分かるかた教えてください。

  • 真理値表を用いた否定・論理積、和・排他的論理和・含意・等値を勉強してるんですが

    もし論理Aと理論Bがある場合、考えられ得る論理演算は全部で何通りあって、その真理値表がわからないんですが教えてください！真理値表の演算式も合わせてお願いします！

  • 命題論理式の真理表ってなんですか？

    次の命題論理式の真理表を教えてください。 ３－１（ＰかつＱかつＲ）ならばг（￢ＰかつГＱかつ￢Ｒ） ３－２（ＰならばＱ）かつ（￢ＰならばＲ）ならば（ＱまたはＲ） この問題を解くのにはどうしたらいいのでしょう

  • 論理学について

    論理学の命題論理式の真理表がよくわかりません。 （PかつQかつR）ならば￢（￢Pかつ￢Qかつ￢R） この時、どうなりすか？ ご教授お願いします。 

  • 【論理学】シェファーの棒について

    論理学の書籍（「論理学」・・・野矢茂樹・・・東京大学出版会）に紹介 されていた、"シェファーの棒"と呼ばれる記号の意味が理解できません。 曰く、当該論理記号の表記は"|"の一種類のみで、命題論理を 表現できるらしいのですが、上述の通り、恥ずかしながら記号の意味が わからない状況です。 同書には、丁寧に真理値表も掲載されていたのですが、記号を日本語へ 翻訳できないため、一般的に使われる（？）論理記号である、∧、∨、￢、⊃ への変換ができません。練習問題として掲載はされていましたが、解答を 見ても疑問は解消されておりません。 　　　　　（参考・・・真理値表） 　　　　　　　P　　Q　　P|Q 　　　　　　　1　　1　　　0 　　　　　　　1　　0　　　1 　　　　　　　0　　1　　　1 　　　　　　　0　　0　　　1 稚拙な質問で大変恐縮ですが、お知恵の拝借を賜りたく存じます。 宜しくお願い致します。

  • 集合と論理

    A,B⊆R　において　次の命題を論理記号を用いてあらわせ、という問題です Aには,任意の実数に対してそれより大きな要素があり、Bには任意の実数に対してそれより小さな要素がある。

  • 論理演算、どう解けば？

    論理演算を解く際に、図を描いたり（AとBが重なった絵）、１と０の真理値表を書いたりしますよね。 どちらを使って解くべきなのでしょうか？

  • 論理記号の表現について

    (1)論理記号による文を日本語に訳すとき、両者を結びつける記号に決まりはないのでしょうか？　ある参考書では 　　∀x∃y(x≦y):全ての x に対して、x ≦ y を満たす y が存在する のようにコロンで仕切っています。: について特に説明はないので単なる仕切りでしょう（笑）。しかし、論理記号で表そうが日本語で表そうが同値の命題であることには変わりないので ⇔ を使って 　　∀x∃y(x≦y) ⇔ 全ての x に対して、x ≦ y を満たす y が存在する としてもよさそうなのですが、他の参考書やネット上の記述を見ても、上記のように表現している例は見当たりません。何か理由があるのでしょうか。 (2) 　T を真を表す記号としたとき「命題 A は真である」ことを A ⇔ T のように表していいのでしょうか？ 　たとえば変数 x の動く領域を実数の集合[R]としたとき、 　　x∈[R],∀x(x^2 - 4x + 5 > 0) ⇔ T. のように表していいのでしょうか。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する
質問する