# Category:Definitions/Top

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