Homework No. 13

However, everybody should turn in his or her own solutions. For problems using Tarski's World hand in your answers on a disk (in PC/IBM format). Name your files exactly as it is specified in the problems.

Exercise 3 is more difficult than 1, but give it a try!

1.  Read carefully FOL, pages 115-127 (Sections 5.1-5.8). Do the following problems:

• Page 119, Problem 1 (2 points).
• Page 124, Problem 6 (2 points).
• Page 125, Problem 10 (2 points).
• Page 127, Problem 11 (2 points).
• Page 131, Problem 17 (2 points).

2.  Read FOL, pages 132-141 (Sections 5.9-5.10), and pages 152 (Section 5.13).

3.  Read carefully FOL, pages 154-168 (Section 6.1-6.5) Do the following problems:

• Page 164, Problem 21 (5 extra points).