維基詞典,自由的多語言詞典
跳到导航 跳到搜索
Up tack.svg
U+22A5, ⊥
UP TACK

[U+22A4]
數學運算子
[U+22A6]

跨語言[编辑]

符號[编辑]

  1. (邏輯學) 矛盾
  2. (代數, 邏輯學) false對應的Boolean
  3. (類型論) Bottom type
  4. (計算機, 過時) ISO 2047開始輸入文字的符號

同義詞[编辑]

  • (布林假值) 0

反義詞[编辑]

  • (布林假值) , 1

同類別詞彙[编辑]