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

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

・Q⇒P は P⇒Q の[逆(CONVERSE)]。


├目次に戻る