Definition:Top (Logic)

Definition
Top is a constant of propositional logic interpreted to mean the canonical, undoubted tautology whose truth nobody could possibly ever question.

The symbol used is $\top$.

Also denoted as
Not all sources use the $\top$ symbol. Some use $\text T$ or a stylistic variant, and others write it longhand as $true$.

Also see

 * Tautology


 * Bottom
 * Contradiction

Technical note
The $\LaTeX$ code for $\top$ is.