Sometimes people read mathematical proofs and think they are reading a foreign language. This book describes the language used in a mathematical proof and also the different types of proofs used in math. This book will use a lot of set theory, but most of it will be sufficiently explained or intuitive, so no rigorous knowledge of math is prerequisite.

1. Introduction
   1. Logical Reasoning
   2. Notation
2. Methods of Proof
   1. Constructive Proof
   2. Proof by Contrapositive
   3. Proof by Contradiction
   4. Proof by Induction
   5. Counterexamples
   6. Other Proof Types
3. Proof and Computer Programs

• Appendix
  • Answer Key
  • Symbols Used in this Book
  • Glossary

Print version