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.