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$)
Subcategories
This category has only the following subcategory.
M
- Definitions/Main Connective (7 P)
Pages in category "Definitions/Language of Propositional Logic"
The following 39 pages are in this category, out of 39 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/Also defined as
- 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
S
- Definition:Scope (Logic)/Connective
- Definition:Scope of Connective
- Definition:Scope of Connective/Definition 1
- Definition:Scope of Connective/Definition 2
- Definition:Sentential Calculus
- Definition:Sign of Propositional Logic
- Definition:Subordinate
- Definition:Substitution (Formal Systems)/Well-Formed Part/Example