*Dirk Schlimm*

Due Wednesday, July 19, 2000

- p.20 Problems 11 and 12,
- p.23 Problems 15 and 16.

1.
Read FOL: Sections 2.4-2.7 (p.15-22).

2.
Exercises in FOL:

3.
Read the sections 3.3-3.5 of Handout #11. (You need only to skim
through sections 3.4 and 3.5 and understand the definitions introduced
in these sections. This material will be covered later in more detail using
Tarski's World). Make exercises 26-29 on page 89 of the
handout. Remember to justify every little step in your proof.