Category:Language of Predicate Logic
Jump to navigation
Jump to search
This category contains results about the language of predicate logic $\LL_1$.
Definitions specific to this category can be found in Definitions/Language of Predicate Logic.
In order to define $\LL_1$, it is necessary to specify:
- An alphabet $\AA$
- A collation system with the unique readability property for $\AA$
- A formal grammar (which determines the WFFs of $\LL_1$)
Pages in category "Language of Predicate Logic"
This category contains only the following page.