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

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

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


├目次に戻る