(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 
 ×  ○   ×  ×   ○ 
 ○  ×   ○  ×   ○ 

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


├目次に戻る