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