Proof by Deduction

Deduction is a type of reasoning that moves from the top down: it starts with a general theory, then relates it to a specific example. We start with a broad statement that we know to be true, and then we apply it to a particular situation.

It's like the Ten Commandments. No, really; hear us out.

Number eight says "do not steal," which is a general statement: stealing is bad, in general. We could then use deductive reasoning to apply that statement to a specific example: "I probably shouldn't steal this particular Xbox from my best friend's bedroom after knocking him out, right?" Right. That's an example of deductive reasoning: we applied the general theory (stealing is bad) to the particular case (therefore, stealing your friend's Xbox is also bad).

Good news: you already know how to prove stuff deductively. Most of the algebraic and geometric proofs you've done so far have been deductive proofs. We start with some kind of general rule, like "supplementary angles always add up to 180°," and apply it to a specific example, like "angle 1 has a measure of 75°, so an angle supplementary to angle 1 must have a measure of 105°."

With deductive proofs, we usually use postulates and theorems as our general statements and apply 'em to specific examples. And we usually do this a bunch of different times in a single proof.

For example, take a gander at the following formal proof.

Given: w = x, x = y, y = z
Prove: w = z

Check out Statement #4. We used the transitive property as our general theory, since we know it's always true. Then we used deductive reasoning to apply the transitive property to our specific example: if w = x and x = y, then it must be true that w = y.

After that, we used deduction again in Statement #5. We can stack up mini-deductions like this, over and over, until we finally prove whatever we set out to prove. It's like building a LEGO set out of mind-bricks.