論理学 論理式の真理値
論理学 論理式の真理値
¬(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に変形させてから計算しても、やはり同じ結果になりました。
僕の真理値計算が間違っているのでしょうか?分かるかた教えてください。
お礼
hekiyuさん、ありがとうございます。 >だから若いうちから受験勉学に励まなければならない、 という意味のことわざである。 前半部分は良いとして、ここは若干古い考えのように思えます。