在逻辑中，排中律（拉丁語：tertium non datur）声称对于任何命题 P {\displaystyle P} ， ( P ∨ ¬ P ) {\displaystyle (P\vee \neg P)} 为真。排中律是思维规律之一。 符号 ' ¬ {\displaystyle \neg } '...

在经典的二值方案中，真和假是确定性的值：命题要么是真要么是假（互斥的），并且如果命题没有其中一个值，则根据定义它必定有另一个值。这个理由就是排中律：P ∨ ¬P—也就是说，命题或它的否定总有一个成立。 逻辑是跨越各种变换而保持某些命题的特性的系统。在经典逻辑中，这个特性是“真实性”:在有效的...

無矛盾律，與排中律和同一律同屬於三大傳統思維規律。在德摩根定律中，無矛盾律等同於排中律。不過，沒有任何邏輯體系僅僅建立三條規律之上，而且也沒有任何其中之一的規律可以得出諸如德摩根定律與肯定前件這樣的推理規則。 無矛盾律和排中律創造了「邏輯空間」中的二分法——「空間」中...

创新，它比亚里士多德的词项逻辑具有更广泛的应用，并且能够将亚里士多德的传统逻辑表述为一个特例。经典逻辑满足一些公理化的基本思维规律，包括：同一律、排中律、无矛盾律（也被称为矛盾律）。 古希腊亚里斯多德的传统逻辑主要反映在其著作集《工具论》中。《工具论》是亚里士多德学派的传人们（即逍遥学派）将他的六...

伯特兰·罗素在他的著作《哲学问题（英语：The Problems of Philosophy）》(1912)中确立了三个思维规律: 同一律； 无矛盾律； 排中律； 一般而言在欧陆理性主义的方法中，它们被明确的假定并且是毋庸质疑的公理。 它们都归功于亚里士多德，并遭受了众多非议和分析(分别关于决定论和外延性...

充足理由律 简述为：任何判断必须有（充足）理由。古希腊亚里斯多德的经典逻辑 只明确的描述了矛盾律、同一律、排中律三个基本公理。“充足理由律”是由德国哲学家莱布尼茨提出 , 并由德国哲学家亚瑟·叔本华在1813年发表的博士论文《论充足理由律的四重根》（英文：On the Fourfold Root of...

{\displaystyle p} 和命題 p ¯ {\displaystyle {\bar {p}}} （非 p {\displaystyle p} ），根據排中律，兩者之中起碼有一個是真（更強的說法為，除了真和假之外並無其他的情況），所以如果其中一個是假的，另一個就必然是真。給出命題 q {\displaystyle...

= (A → ⊥) 的簡寫處理。在直覺一階邏輯中量詞 ∃, ∀ 都是需要的。 不同在于很多经典逻辑的重言式在直觉逻辑中不再是可证明的。例子不只包括排中律 P ∨ ¬P，还有皮尔士定律 ((P → Q) → P) → P，甚至还有双重否定除去。在经典逻辑中，P → ¬¬P 和 ¬¬P → P 二者都是定理。在直觉逻辑中，只有前者是定理:...

构造性证明也可以指数学构成主义中被认可的一种更强的证明。数学构成主义是数学哲学的一支，它认为要证明一个对象的存在，必须将其构造出来。因此，他们拒绝使用如排中律，无穷公理和选择公理这样的公理。同时也有一些用语和以往不同，例如或的语意会比基础数学中的更强。 数学构成主义拒绝使用反证法，然而爆炸原理在一些数学...

逻辑中的皮尔士定律（Peirce's law）得名于哲学家和逻辑学家查尔斯·桑德斯·皮尔士。它被接受为他的第一个公理化命题逻辑中一个公理。这个公理是排中律的推论。 在命题演算中，皮尔士定律说的是 ((P→Q)→P)→P。 也就是说，如果你能证明 P 蕴含 Q 强制 P 是真的，则 P 必定是真的。...

代哲學邏輯與理論計算機科學的發展，推動了非经典邏輯發展。 经典逻辑基于公理化的四个基本原理：同一律、排中律、无矛盾律（也被称为矛盾律）和充足理由律。经典逻辑也被特征化为下面一些性质： 同一律 排中律 无矛盾律 充足理由律 蕴涵的单调性（英语：Monotonicity of...