Category:Definitions/Language of Propositional Logic
Jump to navigation
Jump to search
This category contains definitions related to the Language of Propositional Logic $\LL_0$.
Related results can be found in Category:Language of Propositional Logic.
In order to define $\LL_0$, 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_0$)
Pages in category "Definitions/Language of Propositional Logic"
The following 36 pages are in this category, out of 36 total.
A
B
L
- Definition:Labeled Tree Specification of Propositional Logic
- Definition:Language of Propositional Logic
- Definition:Language of Propositional Logic/Alphabet
- Definition:Language of Propositional Logic/Alphabet/Letter
- Definition:Language of Propositional Logic/Alphabet/Sign
- Definition:Language of Propositional Logic/Alphabet/Sign/Bracket
- Definition:Language of Propositional Logic/Alphabet/Sign/Connective
- Definition:Language of Propositional Logic/Basson-O'Connor
- Definition:Language of Propositional Logic/Formal Grammar
- Definition:Language of Propositional Logic/Formal Grammar/Backus-Naur Form
- Definition:Language of Propositional Logic/Formal Grammar/Bottom-Up Specification
- Definition:Language of Propositional Logic/Formal Grammar/WFF
- Definition:Language of Propositional Logic/Keisler-Robbin
- Definition:Language of Propositional Logic/Labeled Tree