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

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

├目次に戻る