Category:Syntax (logic)
![]() | Philosophy portal |
Here is a list of articles in the Syntax (logic) category of the Philosophy portal.
![]() |
Wikimedia Commons has media related to Syntax (logic). |
- REDIRECT Template:Category contrast
Test
Subcategories
This category has the following 6 subcategories, out of 6 total.
F
L
P
R
Pages in category "Syntax (logic)"
The following 18 pages are in this category, out of 18 total.
- Syntax (logic) (philosophy)
A
- Atomic sentence (philosophy)
F
- Formal proof (computing)
- Formal system (computing)
- Formation rule (computing)
L
- Logical consequence (computing)
- Logical constant (computing)
- Logical Syntax of Language (philosophy)
M
- Metasyntactic variable (computing)
- Metavariable (computing)
P
- Proposition (computing)
- Propositional formula (computing)
R
- Rule of inference (computing)
S
- Symbol (formal) (computing)
U
- Unate function (philosophy)
V
- Variable (mathematics) (computing)
W
- Well-formed formula (computing)
- WFF 'N PROOF (computing)