80-211 Spring 2003
Assignment #7
Due on Friday, March, 7th.
Note: For all these problems you can use the derived rules of the propositional calculus, but you may not use any derived rules of predicate logic.
Problem 1 (1 pt): Do problem 1-(c) on page 116 of your book.
Problem 2 (4 pts): On page 117 do problems (a), (d), (f), (g) of 2(i).
Problem 3 (5 pts): Prove the following sequents, and note that for (d) you must prove both directions:
(a) (x)(Fx→Gx) ├ ($x)Fx → ($x)Gx
(b) (x)~Fx ├ ~($x)Fx
(c) ~($x)(Fx & Gx) ├
(x)(Fx→ ~Gx)
(d) ($x)~Fx ┤├ ~(x)Fx