Inaugurated by IN-SPACe
ISRO Registered Space Tutor
S8-SA2-0148
What is a Proof by Contrapositive?
Grade Level:
Class 8
AI/ML, Data Science, Research, Journalism, Law, any domain requiring critical thinking
Definition
What is it?
A Proof by Contrapositive is a clever way to prove a statement like 'If P, then Q'. Instead of directly showing P leads to Q, you prove that 'If NOT Q, then NOT P' is true. If this contrapositive statement is true, then the original 'If P, then Q' must also be true.
Simple Example
Quick Example
Imagine your school has a rule: 'If a student scores above 90% in Maths, then they get a gold star.' This is 'If P, then Q'. The contrapositive would be: 'If a student does NOT get a gold star, then they did NOT score above 90% in Maths.' If you can prove the second statement (no star means no high score), then the first statement (high score means a star) is also proven.
Worked Example
Step-by-Step
Let's prove: 'If a number is even, then its square is even.' (This is 'If P, then Q')
Step 1: Identify P and Q. P is 'a number is even'. Q is 'its square is even'.
---
Step 2: Form the contrapositive statement. This is 'If NOT Q, then NOT P'.
NOT Q is 'its square is NOT even' (meaning its square is odd).
NOT P is 'a number is NOT even' (meaning the number is odd).
So, the contrapositive is: 'If a number's square is odd, then the number itself is odd.'
---
Step 3: Try to prove the contrapositive statement.
Let 'n' be a number. If 'n' is odd, we can write n = 2k + 1 for some whole number k.
---
Step 4: Find the square of n: n^2 = (2k + 1)^2.
---
Step 5: Expand n^2: n^2 = (2k)^2 + 2(2k)(1) + 1^2 = 4k^2 + 4k + 1.
---
Step 6: Rewrite n^2: n^2 = 2(2k^2 + 2k) + 1.
---
Step 7: Notice that 2k^2 + 2k is a whole number. Let's call it 'm'. So, n^2 = 2m + 1.
---
Step 8: Since n^2 can be written as 2m + 1, it means n^2 is an odd number.
So, we have proven: 'If a number is odd, then its square is odd.'
---
Conclusion: Since the contrapositive statement ('If a number is odd, then its square is odd') is true, the original statement ('If a number is even, then its square is even') is also true.
Why It Matters
This logical tool is super important for clear thinking in many fields. In AI and Data Science, it helps ensure algorithms make correct decisions. Lawyers use similar logic to build strong arguments in court, and researchers use it to prove theories by showing what can't be true.
Common Mistakes
MISTAKE: Confusing the contrapositive with the converse ('If Q, then P'). | CORRECTION: Remember the contrapositive involves 'NOT' for both P and Q, and reverses the order. Converse only reverses the order.
MISTAKE: Incorrectly negating P or Q. For example, negating 'is even' as 'is not even' but then assuming 'is odd' is the only option when other types of numbers exist. | CORRECTION: Ensure the negation truly covers all other possibilities. For integers, 'not even' correctly means 'odd'.
MISTAKE: Believing that if the original statement is false, the contrapositive is also false, without proper proof. | CORRECTION: The truth value of a statement and its contrapositive are always the same. If one is true, the other is true. If one is false, the other is false.
Practice Questions
Try It Yourself
QUESTION: What is the contrapositive of the statement: 'If it rains, then the ground is wet'? | ANSWER: If the ground is NOT wet, then it did NOT rain.
QUESTION: Identify P, Q, NOT P, and NOT Q for the statement: 'If a student completes all homework, then they pass the exam.' | ANSWER: P: 'a student completes all homework'. Q: 'they pass the exam'. NOT P: 'a student does NOT complete all homework'. NOT Q: 'they do NOT pass the exam'.
QUESTION: Prove by contrapositive: 'If x^2 is odd, then x is odd.' (Assume x is an integer). | ANSWER: The contrapositive is: 'If x is NOT odd (i.e., x is even), then x^2 is NOT odd (i.e., x^2 is even).' Let x be an even integer. Then x = 2k for some integer k. So, x^2 = (2k)^2 = 4k^2 = 2(2k^2). Since 2k^2 is an integer, x^2 is of the form 2m, which means x^2 is even. Thus, the contrapositive is true, and so the original statement is true.
MCQ
Quick Quiz
Which of the following statements is the contrapositive of 'If my phone battery is low, then I charge it'?
If I charge my phone, then its battery is low.
If my phone battery is NOT low, then I do NOT charge it.
If I do NOT charge my phone, then its battery is NOT low.
If I do NOT charge my phone, then its battery is low.
The Correct Answer Is:
C
The original statement is 'If P, then Q'. P is 'my phone battery is low', Q is 'I charge it'. The contrapositive is 'If NOT Q, then NOT P'. NOT Q is 'I do NOT charge my phone'. NOT P is 'my phone battery is NOT low'. So, 'If I do NOT charge my phone, then its battery is NOT low' is correct. Option A is the converse. Option B is the inverse. Option D incorrectly negates Q but not P.
Real World Connection
In the Real World
When a doctor diagnoses a patient, they often use this logic. For example, if a specific disease (P) always causes a certain symptom (Q), then if a patient does NOT have that symptom (NOT Q), the doctor knows they likely do NOT have that specific disease (NOT P). This helps narrow down possibilities and ensure correct treatment, similar to how AI systems learn from data.
Key Vocabulary
Key Terms
CONDITIONAL STATEMENT: A statement in the form 'If P, then Q' | NEGATION: The opposite of a statement (e.g., 'P' becomes 'NOT P') | CONVERSE: Reversing a conditional statement ('If Q, then P') | INVERSE: Negating both parts of a conditional statement ('If NOT P, then NOT Q') | LOGIC: The study of reasoning and arguments
What's Next
What to Learn Next
Great job understanding contrapositive proofs! Next, you can explore 'Proof by Contradiction'. It's another powerful proof technique that also uses negation, but in a slightly different way to show a statement must be true by proving its opposite leads to an impossible situation.
