1.2 Proof Methods

Proof by Contradiction


Proof by contradiction often involves clever application of proven knowledge to arrive at a contradiction. In the example proof of \(\sqrt{2} \)'s irrationality, what is the key underlying assumption? (We will prove this later in the course!)

Exercise 1
One effective way to prove B appeals to C, and either one is fair to consider as our big unproved assumption.