Definition:Bottom (Logic)

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

Also see

 * Contradiction


 * Top
 * Tautology

Technical note
The $\LaTeX$ code for $\bot$ is.