Indirect Proof

Definition

Indirect Proof (also known as Proof by Contradiction or Reductio ad Absurdum) is a method of proof where the truth of a statement is established by showing that its negation leads to a logical contradiction.

Why It Matters

Sometimes the “front door” of a problem is locked; indirect proof allows you to enter through the “back door.” It is an incredibly powerful mental tool because it enables you to prove that something is true even when you have no idea how it is true, simply by proving that the alternative is impossible. It is the ultimate tool for “boxed-in” logic and definitive troubleshooting.

Core Concepts

• Logical Basis: A conditional statement ($P \to Q$) is logically equivalent to its contrapositive ($\sim Q \to \sim P$).
  • How to read: “The statement P implies Q is equivalent to the statement not Q implies not P.”
  • Meaning: Indirect proof assumes $\sim Q$ and derives a contradiction — valid because $\sim Q \to \sim P$ is the contrapositive of $P \to Q$.
• The Process:
  1. Assume the negation of the conclusion is true ($\sim Q$).
  2. Reason logically from this assumption until you reach a contradiction with a known fact (the “Given,” a postulate, or a theorem).
  3. Conclude that the original assumption ($\sim Q$) must be false, therefore the conclusion ($Q$) must be true.
• Related Logical Forms:
  • Inverse: $\sim P \to \sim Q$ (Not necessarily true).
    • How to read: “The statement not P implies not Q.”
    • Meaning: Negating both parts — logically independent from the original statement.
  • Converse: $Q \to P$ (Not necessarily true).
    • How to read: “The statement Q implies P.”
    • Meaning: Swapping hypothesis and conclusion — not equivalent to the original unless the statement is biconditional.

Connected Concepts

• Geometric Proof Foundations
• Types of Reasoning
• Law Of Non Contradiction