Category:Definitions/Bottom

This category contains definitions related to the bottom constant $\bot$ of propositional logic.