CS322
Week 2 - Friday. What did we talk about last time? Predicate logic Negation Multiple quantifiers.