(p2-3) ￢P∧￢￢Q と (p2-14) ￢(￢P∧￢￢Q) つまり P∨￢Q もしくは ￢P⇒￢Q と (p2-3) ￢￢(￢P∧￢￢Q) つまり ￢(P∨￢Q) もしくは ￢(￢P⇒￢Q) の真偽表(推論)

 IN  OUT 
 P  Q   ￢P  ￢Q   ￢￢Q  ￢P∧￢￢Q   ￢(￢P∧￢￢Q) 
 P∨￢Q 
 ￢P⇒￢Q 		 ￢￢(￢P∧￢￢Q) 
 ￢(P∨￢Q) 
 ￢(￢P⇒￢Q) 
 ×  ×   ○  ○   ×  ×   ○  × 
 ×  ○   ○  ×   ○  ○   ×  ○ 
 ○  ×   ×  ○   ×  ×   ○  × 
 ○  ○   ×  ×   ○  ×   ○  × 

・￢P⇒￢Q は P⇒Q の[裏(INVERSE)]。


├目次に戻る