真值 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 真值.

真值

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

此条目可参照英语维基百科相应条目来扩充。 (2020年6月30日)若您熟悉来源语言和主题,请协助参考外语维基百科扩充条目。请勿直接提交机械翻译,也不要翻译不可靠、低品质内容。依版权协议,译文需在编辑摘要注明来源,或于讨论页顶部标记((Translated page))标签。
建议将此条目或章节并入布尔代数。(讨论)

逻辑中,真值(truth value),又称逻辑值(logical value),是指示一个陈述在什么程度上是真的。在计算机编程上多称做布林值布尔值

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

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

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

引用

参见

{{bottomLinkPreText}} {{bottomLinkText}}
真值
Listen to this article