真值

维基百科,自由的百科全书

逻辑中,真值(truth value),又稱逻辑值(logical value),是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值布爾值

经典逻辑中,唯一可能的真值是。但在其他逻辑中其他真值也是可能的:模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。

在代数上说,集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合,但直觉主义逻辑把布尔代数推广为海廷代数

topos理论中,topos的主客对象分类器接管了真值集合的位置。

引用

参见