Definition:Bottom (Logic)

Definition
Bottom is a constant of propositional logic interpreted to mean the canonical contradiction $\left({p \land \neg p}\right)$, always false, no matter what the truth value of its component substatements.

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