(p2-9) P∧￢￢Q と (p2-8) ￢(P∧￢￢Q) つまり P⇒￢Q と (p2-9) ￢￢(P∧￢￢Q) つまり ￢(P⇒￢Q) の真偽表(推論)

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

├目次に戻る