Definition:Bottom (Logic)/Truth Table

From ProofWiki
Jump to navigation Jump to search

Definition

The characteristic truth table of the bottom constant $\bot$ of propositional logic is as follows:

$\begin{array}{|c|} \hline \bot \\ \hline \F \\ \hline \end{array}$


Sources