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)