Last time we covered the "rules of the game" for first-order logic. Now it's time to play it. We'll cover how to translate complex statements into first-order logic, explore the nuances of nested quantifiers, and discuss how to negate formulas.
Readings
Links
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.