(p1-1) ￢P∧￢￢P と (P1-4) ￢(￢P∧￢￢P) つまり P∨￢P [排中律 (Law of Excluded Middle)] もしくは ￢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⇒￢P) 
 ×  ○   ×  ×   ○  × 
 ○  ×   ○  ×   ○  × 

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


├目次に戻る