The Alphabet of Predicate Logic
Predicate Logic Formulae
Bound and Free Variables
Interpretation
Valuation
Semantics of Terms
Example
Semantics of Well-Formed Formulae
Examples
Interpretations and Consequences
Logical Consequence
