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 $T$ or a stylistic variant, and others write it longhand as $\text{true}$.

Also see

 * Definition:Tautology


 * Definition:Bottom (Logic)
 * Definition:Contradiction