Definition:Top (Logic)/Truth Table

From ProofWiki
Jump to navigation Jump to search

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


Sources