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

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


├目次に戻る