- ベストアンサー
論理式の問題がわかりません
最近、独学で論理式の勉強を始めました。 ((p⊃q)⊃¬r)⊃(r⊃(¬p∨¬q)) という恒真式かを確認する問題で躓いています。 真理表を書き、()の中を先に求めるのはわかっています。 わからないのは、()で書いた後の真理表というか、解き方です。 上記の問題で言えば、 (p⊃q)の真理表を書いた後(これをAとする)、A⊃¬rを確認、 後半部分も同様に(¬p∨¬q)の真理表を書き(これをB)、r⊃Bをして、 前半⊃後半をすればいいのだろうとは思います。 ただ、これの真理表がどんな感じになるのかがわからないのです。 (p⊃q)をAとおく。などと書いて、A⊃¬rの真理表を書き、これをCとおく。 後半も同じ事をして、最終的にC⊃Eみたいな感じで書けばいいのですか? それとも、ちゃんと((p⊃q)⊃¬r)での書き方みたいなのがあるんでしょうか? 説明が下手でごめんなさい。 誰か教えて下さい。 また、解き方が違っていたら、教えてくれると嬉しいです。 よろしくお願いします。
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
p, q, rの真偽すべての組み合わせ、つまり2^3=8とおりの場合について、真理値がひつようです。 値をいきなりは大変でしょうから、横軸に8通り並べて、縦に部分に部分式の真偽を書いていけばいいはず。
関連するQ&A
- 論理式が恒真式であるか吟味する問題で
●(pV●q)⊃((●pVq)V(●p∧●q)) (●には、「でない」を表す“「”を90度回転させたような記号が入ります) が恒真式であるか吟味する問題なのですが、 論理式の場合も、()を先に考えれば、良いのでしょうか? (pV●q)...A,(●pVq)...B,(●p∧●q)...C と仮定したら、ABCを計算→BVC...Dを計算→●A⊃Dを計算 みたいな流れで良いのかという事です。 また、恒真式であるかの吟味は、真理表を作って考えればいいのかなと思ってますが、あってますか? 論理式の勉強を最近始めたばかりで、よくわかりません。 論理式をわかりやすく解説しているサイトとかも教えて頂けたら嬉しいです。 わがままですが、優しくご教授頂けると嬉しいです。 お願いします。
- ベストアンサー
- 数学・算数
- 論理学の問題なのですが
この問題のときかたを教えてください。 論理式が真か偽か、偶然的かを判定して真式にはA,偽式にはB、偶然式にはCを。 (1) ~pVq⊃q (2) ~(pVq)≡(p&q) (3) (p⊃q)V(~q⊃~p) (4) ~(p&q⊃(~p⊃q)) (5) (~pVq)&(q⊃r)⊃(p⊃r)
- 締切済み
- 数学・算数
- 論理学
下記のような問題がありました。 「真理表を用いて真理関数の恒真性を調べる方法について概説せよ。又、恒真な真理関数という概念の有用性について述べよ」 はっきり言って全く分かりません。 真理表とは?真理関数の恒真性とは? 教えてください。よろしくお願いしますm(-.-)m
- ベストアンサー
- その他(学問・教育)
- 命題論理式の真理表ってなんですか?
次の命題論理式の真理表を教えてください。 3-1(PかつQかつR)ならばг(¬PかつГQかつ¬R) 3-2(PならばQ)かつ(¬PならばR)ならば(QまたはR) この問題を解くのにはどうしたらいいのでしょう
- ベストアンサー
- 哲学・倫理・宗教学
- 真理値表から論理式を導く
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の論理式で表すとどうなるんでしょうか?また真理値表から論理式を求める手順を教えていただけるとさらにうれしいです。
- ベストアンサー
- 科学
- 次の命題論理式が恒信式であるかどうか
(P→(Q→R))→((P→Q)→(P→R)) どのような真理表を書けばよいかおしえてください。 まだ初めてなので、それをもとに自分でどうしてこういう風になるのか、かんがえたいです。 よろしくお願いします。
- 締切済み
- その他(学問・教育)