Notes and Reading - Lecture #17

Lecture #17 looked at predicate logic.

Notes

Notes are available in two formats:

Reading

The textbook covers this material (in a lot more detail) in Chapters 8 and 9. You should take a look at these.