Previous | Next |
Dirk Schlimm
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).
Read The Language of First-Order Logic (FOL): Sections 1.1-1.3 and 2.1-2.3 (p. 1-13).
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.