(p1-1) ￢P∧￢￢P と (P1-4) ￢(￢P∧￢￢P) つまり P∨￢P [排中律 (Law of Excluded Middle)] もしくは ￢P⇒￢P の真偽表(推論)

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

・排中律はつねに真になる。


├目次に戻る