Lecture #17 looked at predicate logic.
Notes are available in four formats:
At this point you should be able to tackle Chapter 15 of the textbook, so read it through.