Section 1.6 and 1.7

Materials

• Handout
• Lecture Slides

Vocabulary

• Predicate
• Domain
• Universal Quantifier
• Existential Quantifier
• Counterexample
• Free variable
• Bound variable