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