在逻辑中，排中律(拉丁语tertium non datur)声称对于任何命题 P，(P ∨ ¬P) 为真。

符号 '¬' 读作“非”，∨ 读作“或”，∧ 读作“与”。

例如，如果 P 是

则包含式析取

为真。

这不完全同于二值原理，它陈述的是 P 必须要幺是真要幺是假。它也不同于无矛盾律，它陈述的是 ¬(P ∧ ¬P) 是真。排中律只是说 (P ∨ ¬P) 整体是真。不提及 P 自身可以采用什幺真值。在任何情况下，任何二值逻辑的语义都将为 P 和 ¬P 指派对立的真值(就是说，如果 P 是真，则 ¬P 是假)，所以在二值逻辑中排中律会等价于二值原理。但是，对于非二值逻辑或多值逻辑就不能这幺说。

In logic, the law of excluded middle (or the principle of excluded middle) is the third of the three classic laws of thought. It states that for any proposition, either that proposition is true, or its negation is true.

The law is also known as the law (or principle) of the excluded third, in Latin principium tertii exclusi. Another Latin designation for this law is tertium non datur: "no third (possibility) is given".