Lecture #12 started to look at propositional logic from an AI perspective.
Notes are available in two formats:
The lecture covered material from Chapter 7 of the textbook (up to page 210).
You should read through the material in the textbook, but bear in mind that it covers some material that is not in the notes.