(p1-1) P∧￢P [矛盾 (Contradiction)] と (p1-4) ￢(P∧￢P) つまり P⇒P [⇒ の反射律 (REFLEXIVITY)] と (p1-1) ￢￢(P∧￢P) つまり ￢(P⇒P) の真偽表(推論)

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

・矛盾はつねに偽になる。
・P⇒P [反射律(REFLEXIVITY)] はつねに真なり。


├目次に戻る