Definition:Bottom (Logic)/Truth Table
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
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.4.1$: The meaning of logical connectives: Figure $1.9$