參見： [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中開始輸入文字的符號

同義詞

  • (布林假值)：

反義詞

  • (布林假值)： ,

同類別詞彙

  • , , ,
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.