Symbols:Symbolic Logic/Top

From ProofWiki
Jump to navigation Jump to search

Top

$\top$


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$.


The $\LaTeX$ code for \(\top\) is \top .