Classical Logic I : First-Order Logic 9 Chapter 1 Classical Logic I : First-Order Logic