在逻辑中，真值（truth value）或真假值，又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值、布林數。
在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。
在代数上说，集合真、假形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。
在topos理论中，topos的主客对象分类器接管了真值集合的位置。
引用
- [http://plato.stanford.edu/entries/logical-constants/ Article on logical constants] at the Stanford Encyclopedia of Philosophy;
- [http://math.andrej.com/2005/05/16/how-many-is-two/ Weblog entry "How many is two?"] by discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.
参见
- 逻辑连结词
- 真值表
- 真值函数
评论 (0)