\begin{definition}[Definition:Bottom (Logic)]
'''Bottom''' is a constant of propositional logic interpreted to mean the canonical, undoubted contradiction whose falsehood nobody could possibly ever question.
The symbol used is $\bot$.
\end{definition}