Write
35 ◇NAZO◆NAZO
>>34
¬P∨Qが同値だって説明すればいいの(∵`)?
ド・モルガンの法則や背景法なんて現役でも専門家でもないのに覚えてるわけないw
以下コピペ
P∧(¬Q) の否定は真
=¬(P∧(¬Q)
=¬P∨¬¬Q
=¬P∨Q
36 ◇NAZO◆NAZO
証明なんてしなくても真偽表で考えればいいじゃん
真を1,偽を0と仮定し、p≤q=真とすると下記になる
P Q ¬P P⇒Q ¬P∨Q
1 1  0  1    1
1 0  0  0    0
0 1  0  0    0
0 0  1  1    1
「P⇒Q」と「¬P∨Q」の真偽が一致してるよね?だから同値
¬P∨Qを読み解けばPが偽ならQの真偽に関わらず全体の命題は真だってわかるよね。