Category:Bottom

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bottom in the context of Propositional Logic.
Definitions specific to this category can be found in Definitions/Bottom.


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

This category currently contains no pages or media.