1. 概述 在经典的 逻辑学 下, 真值 是指 (真) 或 (假) 这些 布尔域 下的元素. 2. 于 Topos 中 更广义的说, 所谓的 真值 可被视为是 Topos 下的 子对象分类子 (其中 是 终对象). 由 的定义可知, 这当且仅当 是个 单同态, 其中 是 的 子对象. 4. 相关概念 布尔域 子对象分类子 5. 术语翻译 中文英文真值truth value 逻辑学