Previous | Next |

*Dirk Schlimm*

**Axiom systems and Models**(6 points)Read the Handout #4,

*Axiom systems. Models. Consistency and Independence*. (The material covered in sections 3.4-3.5 will be covered later in more detail using Tarski's World).- Make exercises 26, 27, 28, and 29 on page 89 of the
handout. Try to justify every step in your argument.
- Make the Writing Exercises 1 and 2 on page 97 of the handout.

- Make exercises 26, 27, 28, and 29 on page 89 of the
handout. Try to justify every step in your argument.
**The Language of First-Order Logic**(4 points)Read

*The Language of First-Order Logic*(FOL): Sections 1.1-1.3 and 2.1-2.3 (p. 1-13).- Solve problems 1, 2, 3, and 4 on pages 13-14.

Hand in your answers on a disk (in PC/IBM format). Name your files exactly as it is specified in the problem.

A copy of the book is available on reserve in Hunt library. Alternatively, if you don't have the book yet, you can find somebody in the class who has it and either borrow it or do this exercise together. If you work together in a group, you need to hand in only one disc, but in addition to the above problems, hand in also exercises 5, 6, and 7 on page 14.