在逻辑学中, 假与真是两种真值. 假常常记为 ⊥.
在高阶范畴论和同伦类型论中, 假可以定义为空空间或空类型. 在这种观点下, 真值可以视为 “(−1)-范畴” 或 “(−1)-类型”, 而假是其中之一.
术语翻译
假 • 英文 false