Linguistics 726: Mathematical LinguisticsBarbara Partee and Vladimir Borschev

Ling726 2006 home  description  homework  book errata  links  LING 726 2004 Website 
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 12930, ## 3abe, 4ab. Ch 13, pp 3656, ## 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)