Appendix A — A Primer on Logic

This is a very superficial introduction to some of the most important ideas in logic that support the proof techniques we’ll use throughout the book. This appendix does not pretend to be a full introduction to either branch of maths, but a quick refresher for those who are already at least somewhat familiar with these notions.

Sets

Logical proofs

Proof by Induction

Proof by Contradiction

The Well-ordering Principle