##
80-110 The Nature of Mathematical Reasoning

**Summer 2000**
*Dirk Schlimm*

# Homework No. 13

Wednesday, August 2, 2000

Due Friday, August 4, 2000

**Note:**
Since this homework is more technical than
usual, you are allowed and encouraged to discuss it with fellow
students.
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).