⊥

参见：⟂ [U+27C2 PERPENDICULAR]、˔ [U+02D4 MODIFIER LETTER UP TACK]、丄 [U+4E04 中日韩统一表意文字-4E04] 和 ⛼ [U+26FC HEADSTONE GRAVEYARD SYMBOL]

⊥ U+22A5, ⊥ UP TACK ← ⊤ [U+22A4] 数学运算子 ⊦ → [U+22A6]

跨语言

符号

⊥

1. (逻辑学) 矛盾
2. (代数，逻辑学) false对应的Boolean值
3. (类型论) Bottom type
4. (计算机，过时) ISO 2047中开始输入文字的符号

同义词

• (布林假值)： 0

反义词

• (布林假值)： ⊤, 1

同类别词汇

• ⊦, ⊧, ⊨, ⫫