Barbara Partee and Vladimir Borschev
Homework 7 to Lecture 7: due Oct 10, 2006 (this was HW6 in 2004, HW 5 in 2001)
Statement Logic. Exercises from PtMW Ch 6, pp 129-30, ## 3abe, 4ab. Ch 13, pp 365-6, ## 1ai, 1bi. Also: show that the algebra Form is not a Boolean algebra. Instructors' index and three full sets of student solutions posted.
Instructors' Index (.pdf)
Student Solution 1: All questions (.pdf)
Student Solution 2: All questions (.pdf)
Solutions from 2004:
Student Solution 3: Question II (.pdf)