Category:Definitions/Language of Predicate Logic
Jump to navigation
Jump to search
This category contains definitions related to the Language of Predicate Logic $\LL_1$.
Related results can be found in Category: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 "Definitions/Language of Predicate Logic"
The following 13 pages are in this category, out of 13 total.