二值原理

在邏輯中，二值原理（英語：Principle of bivalence）是指，對於任何命題 P，只能有一個真值：命題P只能是真，或假，其中之一。滿足這個原則的邏輯推論，稱為二值邏輯（英語：two-valued logic，bivalent logic）。^[1]

在經典邏輯中，二值原理等價於說沒有命題非真非假。非真非假的命題 P 是不可判定的。在直覺邏輯中，命題 P 的真值有時不能判定(就是說 P 不能被證明或反駁)。在這種情況下，P 簡單的不能有真值。其他邏輯，比如多值邏輯，可以指派給 P 一個中間的真值。