在逻辑中，真值或逻辑值是指示一个陈述在什么程度上是真的。在计算机编程上多称作布尔值。
释义
在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的: 模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。
在代数上说，集合 {真,假} 形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉逻辑把布尔代数推广为 Heyting代数。
在 topos理论中，topos 的子对象分类器接管了真值集合的位置。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024