Contrapositive

Logic
definition

Also known as: contraposition, ¬Q → ¬P

Grade 9-12

View on concept map

The statement 'If not Q, then not P'—logically equivalent to 'If P, then Q. Often easier to prove than the original; valid proof technique.

Definition

The statement 'If not Q, then not P'—logically equivalent to 'If P, then Q.'

💡 Intuition

Flip and negate. Always has the same truth value as the original.

🎯 Core Idea

The contrapositive \neg Q \to \neg P is logically equivalent to P \to Q — they always have the same truth value. Proving one proves the other.

Example

Original: 'If it rains, the ground is wet.' Contrapositive: 'If the ground isn't wet, it didn't rain.'

Formula

(P \to Q) \Leftrightarrow (\neg Q \to \neg P)

Notation

\sim Q \to \sim P is the contrapositive of P \to Q

🌟 Why It Matters

Often easier to prove than the original; valid proof technique.

💭 Hint When Stuck

Write the original as 'If P then Q.' Now swap P and Q to get the converse, then negate both to get the contrapositive. Keep those two straight.

Formal View

(P \to Q) \Leftrightarrow (\neg Q \to \neg P); both have identical truth tables in all four rows

🚧 Common Stuck Point

Contrapositive \neq converse. Converse: 'If Q, then P'—NOT equivalent.

⚠️ Common Mistakes

  • Mixing up contrapositive (\neg Q \to \neg P) with converse (Q \to P) — only the contrapositive is logically equivalent
  • Negating only the hypothesis or only the conclusion instead of both — the contrapositive flips AND negates both parts
  • Thinking the inverse (\neg P \to \neg Q) is the same as the contrapositive — the inverse is equivalent to the converse, not the original

Frequently Asked Questions

What is Contrapositive in Math?

The statement 'If not Q, then not P'—logically equivalent to 'If P, then Q.'

Why is Contrapositive important?

Often easier to prove than the original; valid proof technique.

What do students usually get wrong about Contrapositive?

Contrapositive \neq converse. Converse: 'If Q, then P'—NOT equivalent.

What should I learn before Contrapositive?

Before studying Contrapositive, you should understand: conditional, negation.

Prerequisites

conditionalnegation

Next Steps

proof techniques

How Contrapositive Connects to Other Ideas

To understand contrapositive, you should first be comfortable with conditional and negation. Once you have a solid grasp of contrapositive, you can move on to proof techniques.

← Back to Explorer

Visualization

Static

Visual representation of Contrapositive