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:
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.