二值原理

来自中文百科,文化平台
(重定向自二值逻辑
跳转至: 导航搜索

二值原理英语:Principle of bivalence),对于任何命题 P,只能有一个真值:命题P只能是真,或假,其中之一。满足这个原则的逻辑推论,称为二值逻辑(two-valued logic,bivalent logic)。

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

不要混淆于排中律无矛盾律。详细区别请参见二值和有关规律

参见