The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum, is a symbol used to represent: The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
The tee (⊤, \top in LaTeX), also called down tack (as opposed to the up tack) or verum, is a symbol used to represent: The truth value of being true in logic, or a sentence (e.g., formula in propositional calculus) which is unconditionally true. By definition, every tautology is logically equivalent to the verum.
Source: Wikipedia "Tee (symbol)" · CC BY-SA 4.0
Share this article: X · Bluesky