09_Transcript - 1 Contradiction 1.1 Welcome Welcome to the...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 Contradiction 1.1 Welcome Welcome to the ninth module in our course on proofs, Contradiction . Before going on, please do the assigned readings. 1.2 Introduction So far we have used the forwards-backwards method to prove statements. There are times when this is difficult. A proof by contradiction provides a new method. 1.3 How To Use Contradiction Suppose that we wish to prove that the statement A implies B is true. We assume that A is true. We must show that B is true. What would happen if B were true, but we assumed it was false, and continued our reasoning based on the assumption that B was false? Since a mathematical statement cannot be both true and false, it seems likely we would eventually encounter a mathematically non- sensical statement. Then we would ask ourselves How did we arrive at this nonsense? and the answer would have to be that our assumption that B was false was wrong and so B is, in fact, true. Proof by contradiction structures proofs in exactly this way. Proceed as follows. 1. Assume that A is true. 2. Assume that B is false, or equivalently, assume that NOT B is true. 3. Reason forward from A and NOT B to reach a contradiction. Unfortunately, it is not always clear what contradiction to find, or how to find it. What is more clear is when to use contradiction. 1.4 When To Use Contradiction The general rule of thumb is to use contradiction when the statement NOT B gives you useful information. There are typically two instances when this is useful. The first instance is when the statement B is one of only two alternatives. For example, if the conclusion B is the statement f ( x ) = 0 then the only two possibilities are f ( x ) = 0 and f ( x ) 6 = 0....
View Full Document

This note was uploaded on 10/13/2011 for the course MATH 135 taught by Professor Andrewchilds during the Spring '08 term at Waterloo.

Page1 / 4

09_Transcript - 1 Contradiction 1.1 Welcome Welcome to the...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online