⊥

參見：⟂ [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

同類別詞彙

• ⊦, ⊧, ⊨, ⫫