Exercises and Quizzes for Chapter Nine

Quizzes:

Q9.1a Basic Symbolizations with Identity
Q9.1b Symbolizations, Quanitifers, Counting
Q9.1c More Symbolizations with Identity

Q9.2 Derivations in PDI
     Selected Answers

Exercises:

9.1ex I Multiple Choice
9.1ex II Symbolization with Identity
9.1ex III More Symbolizations with Identity

9.2ex I Derivations in PDI
     Selected Answers

9.3ex I Multiple Choice

9.4ex I Group Theory Proofs

Chapter 9: Statement of the exercises.