Category:Language of Propositional Logic

This category contains results about the language of propositional logic $\mathcal L_0$.
In order to define $\mathcal L_0$, it is necessary to specify: