Section 1.5 and 1.6

Materials

• Handout
• Lecture Slides

Vocabulary

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