generated at
2/17/2025, 8:57:32 AM
排中律
Law of excluded middle
論理式は任意の解釈において真か偽のどちらか一方であるという主張
真と偽の中間の状態にはならない
P\lor \lnot P
¬P∨P
真理値表
P
¬P
P∨¬P
o
x
o
x
o
o
関連
ファジィ論理
参考
排中律 | 命題論理 | 論理 | 数学 | ワイズ