Definition:Top (Logic)/Truth Table

Definition
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}$