Category:Definitions/Language of Predicate Logic

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to the Language of Predicate Logic $\mathcal L_1$.
Related results can be found in Category:Language of Predicate Logic.


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