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

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

├目次に戻る