The syntactic component defines:
- An alphabet of symbols (propositional variables, connectives, quantifiers)
- Formation rules for constructing well-formed formulas
- Structural properties of the language (decidability of well-formedness)
The syntactic component defines: