(p1-2) ￢P∧￢P と (p1-3) ￢(￢P∧￢P) つまり P∨P [∨ の反射律(REFLEXIVITY)] もしくは ￢P⇒P の真偽表(推論)

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

├目次に戻る