⊥ 跨语言 符号 ⊥ (逻辑学) 矛盾 (代数, 逻辑学) false对应的Boolean值 (类型论) Bottom type (计算机, 过时) ISO 2047中开始输入文字的符号同义词 (布林假值)： 0反义词 (布林假值)： ⊤, 1同类别词汇 ⊦, ⊧, ⊨, ⫫
