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

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

・反射律はつねには真ならず。


├目次に戻る