排中律

Law of excluded middle

論理式は任意の解釈において真か偽のどちらか一方であるという主張

真と偽の中間の状態にはならない

table:真理値表

P ¬P P∨¬P

o x o

x o o

関連

参考