# Category:Definitions/Language of Propositional Logic

This category contains definitions related to the Language of Propositional Logic $\mathcal L_0$.
In order to define $\mathcal L_0$, it is necessary to specify: