Definition:Bottom (Logic)

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

Also denoted as
Not all sources use the $\bot$ symbol. Some use $\text F$ or a stylistic variant, and others write it longhand as $\text{false}$.

Also see

 * Definition:Contradiction


 * Definition:Top (Logic)
 * Definition:Tautology