P∨¬P [排中律 (Law of Excluded Middle)] の真偽表(推論)
P
¬P
P∨¬P
○
×
○
×
○
○
├
目次に戻る