Category:Language of Propositional Logic

From ProofWiki
Jump to navigation Jump to search

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: