(二值)逻辑中的一项定律，指出真和假之间没有第三种选择。换句话说，对于任何陈述 
，要么 
为真，要么 非-
为真，并且另一个必须为假。 该定律在三值逻辑或模糊逻辑中不再成立。
排中律
参见
二值的, 模糊逻辑, 三值逻辑使用 Wolfram|Alpha 探索
参考文献
Erickson, G. W. 和 Fossa, J. A. 悖论词典. Lanham, MD: 美国大学出版社, 页码 64-65, 1998.在 Wolfram|Alpha 中被引用
排中律引用为
Weisstein, Eric W. "排中律。" 来自 MathWorld--一个 Wolfram 网络资源. https://mathworld.net.cn/LawoftheExcludedMiddle.html