Contrapositive Statements
A free Logic lesson from the “Conditionals” unit, with a worked example and practice problems including step-by-step solutions.
The contrapositive switches and negates both parts. Unlike the converse and inverse, it is logically equivalent to the original conditional. Learning objective: Write the contrapositive and explain why it matches the original. Prerequisite: No formal prerequisite. Work in this lesson starts with ordinary language, then connects the idea to symbols only after the meaning is clear. Example 1: In 'If a number is divisible by 4, then it is even,' the hypothesis is 'divisible by 4.' Example 2: The contrapositive is 'If a number is not even, then it is not divisible by 4.' A common misconception is to treat familiar wording as proof; instead, check exactly what the statement says and what follows from it.
What you'll learn
- Write the contrapositive and explain why it matches the original
- Explain the idea in plain English before using symbols
- Use examples, non-examples, or counterexamples to check the reasoning
Worked example
Problem. Example case A (Contrapositive Statements): Worked example: For "If a number is divisible by 4, then the number is even.", choose the contrapositive.
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the number is not even, then a number is not divisible by 4.
Practice problems
1. Practice case A (Contrapositive Statements): What is the contrapositive of "If a number is divisible by 4, then the number is even."?
Choices: If the number is not even, then a number is not divisible by 4. · If the number is even, then a number is divisible by 4. · If a number is not divisible by 4, then the number is not even. · a number is divisible by 4 and the number is even.
Show solution
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the number is not even, then a number is not divisible by 4.
2. Practice case B (Contrapositive Statements): What is the contrapositive of "If a figure is a square, then the figure is a rectangle."?
Choices: If the figure is not a rectangle, then a figure is not a square. · If the figure is a rectangle, then a figure is a square. · If a figure is not a square, then the figure is not a rectangle. · a figure is a square and the figure is a rectangle.
Show solution
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the figure is not a rectangle, then a figure is not a square.
3. Practice case C (Contrapositive Statements): What is the contrapositive of "If a student scores at least 70, then the quiz is passed."?
Choices: If the quiz is not passed, then a student does not score at least 70. · If the quiz is passed, then a student scores at least 70. · If a student does not score at least 70, then the quiz is not passed. · a student scores at least 70 and the quiz is passed.
Show solution
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the quiz is not passed, then a student does not score at least 70.
4. Practice case D (Contrapositive Statements): What is the contrapositive of "If a triangle is equilateral, then the triangle is isosceles."?
Choices: If the triangle is not isosceles, then a triangle is not equilateral. · If the triangle is isosceles, then a triangle is equilateral. · If a triangle is not equilateral, then the triangle is not isosceles. · a triangle is equilateral and the triangle is isosceles.
Show solution
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the triangle is not isosceles, then a triangle is not equilateral.
5. Practice case E (Contrapositive Statements): What is the contrapositive of "If a number is divisible by 4, then the number is even."?
Choices: If the number is not even, then a number is not divisible by 4. · If the number is even, then a number is divisible by 4. · If a number is not divisible by 4, then the number is not even. · a number is divisible by 4 and the number is even.
Show solution
- The contrapositive switches the parts and negates both.
- So p -> q becomes ¬q -> ¬p.
- The contrapositive is equivalent to the original conditional.
Answer: If the number is not even, then a number is not divisible by 4.
Practice this interactively with instant feedback and an AI tutor.
Practice Contrapositive Statements Take the free placement check