3 The language of proof
In Section 3 we examine the language used to express mathematical statements and proofs, and discuss various techniques for proving that a mathematical statement is true. These techniques include direct proof, proof by mathematical induction, proof by contradiction and proof by contraposition. We also illustrate the use of counter-examples to show that a statement is false.
Click the link below to open Section 3 (17 pages, 374KB).