在逻辑中，排中律（）声称对于任何命题formula_1，formula_2 为真。 符号 'formula_3' 读作“非”，formula_4 读作“或”，formula_5 读作“与”。例如，如果 formula_1 是则包含式析取为真。这不完全同于二值原理，它陈述的是 P 必须要么是真要么是假。它也不同于无矛盾律，它陈述的是 formula_7 是真。排中律只是说 formula_2 整体是真。不提及 formula_1 自身可以采用什么真值。在任何情况下，任何二值逻辑的语义都将