⊤

From Wiktionary, the free dictionary
Jump to navigation Jump to search
⊤ U+22A4, ⊤
DOWN TACK
← ⊣
[U+22A3] 		Mathematical Operators ⊥ →
[U+22A5]

Translingual[edit]

Symbol[edit]

⊤

  1. (logic) tautology
  2. (algebra, logic) Boolean value corresponding to truth

Synonyms[edit]

  • (Boolean truth): 1

Antonyms[edit]

  • (antonym(s) of “Boolean truth”): ⊥, 0
Retrieved from "https://en.wiktionary.org/w/index.php?title=⊤&oldid=78816025"