Symbols:Symbolic Logic/Bottom
Jump to navigation
Jump to search
Bottom
- $\bot$
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$.
The $\LaTeX$ code for \(\bot\) is \bot .
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): $\bot$ (inverted) ${}$: 1.