Chapter 3: Quantification

1. The quantifiers

2. Quantified letters

3. Quantification over an empty set