Category:Language of Predicate Logic

From ProofWiki
Jump to: navigation, search

This category contains results about the language of predicate logic $\mathcal L_1$.
Definitions specific to this category can be found in Definitions/Language of Predicate Logic.


In order to define $\mathcal L_1$, it is necessary to specify:

Pages in category "Language of Predicate Logic"

This category contains only the following page.