二值原理

在逻辑中，二值原理（英语：Principle of bivalence）是指，对于任何命题 P，只能有一个真值：命题P只能是真，或假，其中之一。满足这个原则的逻辑推论，称为二值逻辑（英语：two-valued logic，bivalent logic）。^[1]

在经典逻辑中，二值原理等价于说没有命题非真非假。非真非假的命题 P 是不可判定的。在直觉逻辑中，命题 P 的真值有时不能判定(就是说 P 不能被证明或反驳)。在这种情况下，P 简单的不能有真值。其他逻辑，比如多值逻辑，可以指派给 P 一个中间的真值。