- ベストアンサー
※ ChatGPTを利用し、要約された質問です（原文：記号論理学 真理表）
記号論理学の真理表についての質問
このQ&Aのポイント
- 命題論理の教科書を参考にして、論理式の真理表を作成しています。
- 具体的な論理式として、A→(B→A)と｛￢A→(A→B)｝⇔Bを取り上げています。
- 真理表の作成には、論理演算子の組み合わせを考慮し、論理値の組み合わせを試しています。
- yoshikikao
- お礼率100% (2/2)
- 数学・算数
- 回答数2
- ありがとう数5
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
真理表とは「真」と「偽」（または「T」と「F」など）で埋めるものなのではないですか？ 「∨」を「真」、「∧」を「偽」に読みかえてみると・・・ (a)間違っています。B→AをCとでもおいてみましょう。 (b)￢A→(A→B)から違っています。￢AをC,A→BをDとでもおいてみましょう。
その他の回答 (1)
- aohosi
- ベストアンサー率100% (4/4)
回答No.2
#1の補足に書いて頂いた答えで全部合っています。 理解して頂けたようで良かったです。
質問者
お礼
aohosiさん、このたびは、大変ご親切に、そしてわかりやすいアドバイスをありがとうございました。 おかげさまで、少し自信がつきました。 aohosiさんに教えていただいたようにして、 その他の問題にもチャレンジしていきたいと思います。 大変役に立ちました。 本当に、ありがとうございました！！
お礼
回答、ありがとうございます。 以前に比べ、大分わかりやすくなりました。 教えて頂いた様に、(a)の問題についてはB→AをCと置き換えて考えてみたところ、下記のようになりました。 また間違えていますでしょうか？？ もし、またお時間がございました時で結構です。 教えて下さい。宜しくお願いいたします。 問題 次の論理式の真理表をかけ (a) A→(B→A)の真理表 A、B、B→A、A→(B→A) ∨、∨、∨、∨ ∨、∧、∨、∨ ∧、∨、∧、∨ ∧、∧、∨、∨ なお、(b)の問題についても教えて頂いた様に、￢AをC,A→BをDと 置き換えて考えてみました。下記のようになりましたが、どこかまた間違えているようでしたら、恐れ入りますが教えて下さい。 (b)｛￢A→(A→B)｝⇔B の真理表 A 、B、￢A、A→B、￢A→(A→B)、｛￢A→(A→B)｝⇔B ∨、∨、∧、∨、∨、∨ ∨、∧、∧、∧、∨、∧ ∧、∨、∨、∨、∨、∨ ∧、∧、∨、∨、∨、∧ それから、真理表について、普通は真、偽 又はT,Fなどを 使って表すと言う事でしたが、この教科書では 真を∨、偽∧と言う記号で表すと言う事でしたので、 この様になりました。何度も申し訳ありません。 もし、またお時間がございましたときでも結構ですので、 教えてください。 宜しくお願いいたします。