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