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 $\text{false}$.

Also see

 * Contradiction


 * Top
 * Tautology