• Predicates and Quantifiers (Rosen 1.3 and 1.4)
• Predicates and Quantifiers
• Nested Quantifiers
• Propositional Equivalences (Rosen 1.2)
• Note: students should already know this material
• Sets (Rosen 2.1)
• set builder notation
• power set
• cartesian products