真值

在逻辑学中, 真值 (也称为逻辑值、Boole 值) 是指真与假二者之一.

在高阶范畴论和同伦类型论中, 常将真、假这两种真值分别等同于单点空间、空空间, 从而真值的概念等同于 $(-1)$-截断空间, 也可以视为 $(-1)$-范畴或 $(-1)$-类型.

1相关概念

术语翻译

真值 • 英文 truth value • 德文 Wahrheitswert (m) • 法文 valeur de vérité (f)