Homework No. 6

1.  Read The Language of First-Order Logic (FOL): Sections 2.1-2.3 (p. 9-13) and Section 2.8 (p. 24-28).

2.  Exercises in FOL:

• FOL: p.13-14 Exercise and Problems 1-4.
  Hand in your answers on a disk (in PC/IBM format). Name your files exactly as it is specified in the problem.
• p.29 Problem 18,
• p.30 Problem 20.

3.  Find a definition in any textbook you like, copy it and deteremine its primitive terms. Write in a sentence whether you think your example is a good definition or not.