P∨¬P [排中律 (Law of Excluded Middle)] の真偽表(推論)

 P  ¬P   P∨¬P 
 ○  ×   ○ 
 ×  ○   ○ 

目次に戻る