Dirk Schlimm
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.