Contrapositive

Welcome to the World of Logical Flips!

In H3 Mathematics, we move beyond just calculating numbers and start looking at the structure of logic itself. Think of this chapter as learning the "grammar" of math. One of the most powerful tools in your logical toolbox is the Contrapositive.

Don't worry if logic feels a bit abstract at first! By the end of these notes, you’ll see that the contrapositive is just a clever way of saying the exact same thing from a different perspective. It’s a "secret twin" to a mathematical statement that can often make difficult proofs much easier to solve.

1. The Building Blocks: Conditionals and Negation

Before we define the contrapositive, let's quickly refresh two simple ideas from your syllabus:

• The Conditional Statement (\( P \implies Q \)): This is an "If... then..." statement. For example: "If it is raining (P), then the grass is wet (Q)."
• Negation (\( \neg \)): This is the "not" of a statement. If \( P \) is "It is raining," then \( \neg P \) (read as "not P") is "It is not raining."

2. What is the Contrapositive?

The contrapositive of a conditional statement \( P \implies Q \) is formed by doing two things:
1. Swapping the positions of \( P \) and \( Q \).
2. Negating both of them.

The Formula:
If the original statement is \( P \implies Q \), its contrapositive is \( \neg Q \implies \neg P \).

A Real-World Analogy: The Singapore Example

Let’s look at a statement that is clearly true:
"If you are in Orchard Road, then you are in Singapore."

• \( P \): You are in Orchard Road.
• \( Q \): You are in Singapore.

To find the contrapositive, we flip and negate them:
"If you are not in Singapore, then you are not in Orchard Road."

Does this make sense? Absolutely! If you aren't even in the country, there is no way you can be on that specific street. The logic holds up perfectly.

Key Takeaway: To form the contrapositive, think: "Flip it and Reverse (Negate) it!"

3. Logical Equivalence: The "Golden Rule"

The most important thing to remember for H3 Math is this: A statement and its contrapositive are logically equivalent.

This means if the original statement is True, the contrapositive is True. If the original is False, the contrapositive is False. They are two sides of the same coin.

Quick Review: The "Imposter" Statements

Students often confuse the contrapositive with the Converse or the Inverse. Be careful! These are not necessarily logically equivalent to the original statement.

Using our Singapore example (\( P \implies Q \)):
• Converse (\( Q \implies P \)): "If you are in Singapore, then you are in Orchard Road." (Not necessarily true! You could be in Jurong).
• Inverse (\( \neg P \implies \neg Q \)): "If you are not in Orchard Road, then you are not in Singapore." (Also not necessarily true! You could be in Tampines).

Only the contrapositive is guaranteed to be the same as the original.

4. Why is the Contrapositive Useful?

In Section 3 of your syllabus (Problem Solving Heuristics), you are encouraged to "restate the problem." Sometimes, proving \( P \implies Q \) directly is very frustrating because the "If" part (the hypothesis) doesn't give you much information to work with.

Strategy Tip: If a direct proof seems stuck, try proving the contrapositive (\( \neg Q \implies \neg P \)) instead. Since they are logically equivalent, proving the contrapositive is proving the original statement!

Step-by-Step Example in Math

Statement: "If \( n^2 \) is even, then \( n \) is even" (where \( n \) is an integer).
Proving this directly is a bit annoying because starting with "\( n^2 \) is even" means \( n^2 = 2k \), and taking the square root introduces radicals (\( \sqrt{2k} \)), which are messy.

Step 1: Find the Contrapositive.
The negation of "even" is "odd." So, the contrapositive is:
"If \( n \) is odd, then \( n^2 \) is odd."

Step 2: Work through the logic.
If \( n \) is odd, then \( n = 2k + 1 \) for some integer \( k \).
Then \( n^2 = (2k + 1)^2 = 4k^2 + 4k + 1 \).
We can write this as \( n^2 = 2(2k^2 + 2k) + 1 \).
This is clearly the form of an odd number!

Step 3: Conclusion.
Since we proved the contrapositive is true, the original statement must also be true. Much cleaner, right?

5. Common Mistakes to Avoid

• Forgetting to negate: Swapping the terms without negating them gives you the converse, not the contrapositive.
• Forgetting to swap: Negating the terms without swapping them gives you the inverse.
• Negation Errors: Be careful when negating statements with "and" or "or." (Remember De Morgan's Laws: the negation of "A and B" is "not A or not B").

Did you know?

The use of the contrapositive is a hallmark of Indirect Proof. Mathematicians have used this for thousands of years to solve problems that seemed impossible to tackle head-on. It’s like finding a side door into a building when the front door is locked!

Summary Checklist

• The contrapositive of \( P \implies Q \) is \( \neg Q \implies \neg P \).
• A statement and its contrapositive always share the same truth value (Logically Equivalent).
• Use the contrapositive when the negation of the conclusion (\( \neg Q \)) gives you a simpler starting point for a proof than the original hypothesis (\( P \)).
• Don't panic if you get confused—just remember the Singapore/Orchard Road example to reset your brain!