Linguistics 726: Mathematical Linguistics

Barbara Partee and Vladimir Borschev
Fall 2006, University of Massachusetts, Amherst

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 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)