# Definition:Top (Logic)/Truth Table

The characteristic truth table of the top constant $\top$ of propositional logic is as follows:
$\begin{array}{|c|} \hline \top \\ \hline \T \\ \hline \end{array}$