(p1-3) P∧￢￢P と (p1-2) ￢(P∧￢￢P) つまり P⇒￢P と (p1-3) ￢￢(P∧￢￢P) つまり ￢(P⇒￢P) の真偽表(推論)

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

├目次に戻る