Category:Language of Propositional Logic
This category contains results about the language of propositional logic $\mathcal L_0$.
Definitions specific to this category can be found in Definitions/Language of Propositional Logic.
In order to define $\mathcal L_0$, it is necessary to specify:
Pages in category "Language of Propositional Logic"
The following 5 pages are in this category, out of 5 total.