1. Predicates
Slides
Problem Set
2. Quantifiers
3. Logical Equivalence with Quantifiers
4. Nested Quantifiers