Introduction to Higher Mathematics - Lecture 6: Predicate Logic

Now we're going to "upgrade" our logic to predicate logic, which lets us have a good bit more flexibility in how we describe various situations, including the use of quantifiers. http://www.polymathlectures.org/