Predicate Logic handouts (re-post)

It has come to my attention that many of you were not present for our Thursday 3/8 and Tuesday 3/20 lectures.  Since the material that we covered on those days (the semantics of Predicate Logic) will be covered on the midterm, and will also figure prominently in our subsequent discussions, I am re-posting the class handouts from those days:

The Language of Predicate Logic (from Tuesday 3/20 class meeting)

A Sample Model for Predicate Logic Semantics

Another Sample Model for Predicate Logic Semantics