Lecture 8 (Logic)

Chapter 4: General Theory of Inference
- 4. Interchange of Quantifiers
- 5. General Inferences
Chapter 5: Further Rules of Inference
- 1. Logic of Identity