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 knowledge is essential to develop rigorous mathematics. As such, rigorous knowledge of math is not a prerequisite to reading this book. This book will use a lot of set theory as examples, but the examples have been selected to either be intuitive or, at the very least, sufficiently explained. However, this does not mean that math will not be used as some of the examples. But, the math will be simple unless noted otherwise. They will require knowledge of algebra to solve.

Venn Diagram of A→B
The Venn Diagram of A→B, an iconic depiction of proofs
  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
  4. Proof Assistants

Print version
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.