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 $\text{true}$.

Also see

 * Tautology


 * Bottom
 * Contradiction