二值原理

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

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

不要混淆於排中律無矛盾律。詳細區別請參見二值和有關規律

參見

參考資料

  1. ^ Paul Tomassi. Logic. Routledge. 1999: 124. ISBN 978-0-415-16696-6.