Lecture #15 looked at predicate logic.
Notes are available in two formats:
The textbook covers this material (in a lot more detail) in Chapters 8 and 9. You should take a look at these.