First-order logic is a powerful logical system for reasoning about groups of objects and their properties. It's also how, later in the quarter, we'll formally define the terms we're working with. This lecture introduces the syntax of first-order logic, explains how it works, and goes over the basics of how to translate into first-order logic.
Links
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.