二值原理

在邏輯中 ， 二值原理 （ Principle of bivalence ） 是指 ， 對於任何命題 P ， 只能有一個真值 ： 命題P只能是真 ， 或假 ， 其中之一 。 滿足這個原則的邏輯推論 ， 稱爲二值邏輯 （ two - valued logic ， bivalent logic ） 。 在經典邏輯中 ， 二值原理等價於說沒有命題非真非假 。 非真非假的命題 P 是不可判定的 。 在直覺邏輯中 ， 命題 P 的真值有時不能判定 ( 就是說 P 不能被證明或反駁 ) 。 在這種情況下 ， P 簡單的不能有真值 。 其他邏輯 ， 比如多值邏輯 ， 可以指派給 P 一箇中間的真值 。 不要混淆於排中律和無矛盾律 。 詳細區別請參見二值和有關規律 。