Contradiction Formula

The Formula

0 = c where c \neq 0 signals a contradiction

When to use: x + y = 5 AND x + y = 7 can't both be true simultaneously — this is a contradiction.

Quick Example

Solving leads to 0 = 3 which is never true \to no solution exists.

Notation

A contradiction yields a false statement like 0 = 3. The solution set is \emptyset (empty set).

What This Formula Means

A mathematical statement that is always false — no values of the variables can ever make it true.

x + y = 5 AND x + y = 7 can't both be true simultaneously — this is a contradiction.

Formal View

A contradiction is a proposition P such that P \equiv \bot (always false). In a system A\mathbf{x} = \mathbf{b}, row reduction yields 0 = c (c \neq 0) iff \mathrm{rank}(A) < \mathrm{rank}([A \mid \mathbf{b}]), giving S = \emptyset.

Worked Examples

Example 1

easy
Show that x + 1 = x + 3 is a contradiction.

Solution

  1. 1
    Step 1: Subtract x from both sides: 1 = 3.
  2. 2
    Step 2: 1 \neq 3. This is always false.
  3. 3
    Step 3: No value of x can make this true — it's a contradiction.

Answer

Contradiction — no solution.
A contradiction arises when algebraic manipulation leads to a false statement like 0 = c where c \neq 0. It means the original equation (or system) has no solution.

Example 2

medium
Solve 2(x + 3) = 2x + 5.

Common Mistakes

  • Reaching 0 = 3 and thinking a calculation error occurred rather than recognizing the system has no solution
  • Confusing a contradiction (always false, like 0 = 5) with an identity (always true, like 0 = 0)
  • Ignoring the contradiction and reporting an arbitrary 'solution' anyway

Why This Formula Matters

Recognizing contradictions prevents wasting time on unsolvable equations and is the basis for proof by contradiction — one of mathematics' most powerful proof techniques. In logic and programming, detecting contradictions helps identify flawed assumptions and impossible constraints.

Frequently Asked Questions

What is the Contradiction formula?

A mathematical statement that is always false — no values of the variables can ever make it true.

How do you use the Contradiction formula?

x + y = 5 AND x + y = 7 can't both be true simultaneously — this is a contradiction.

What do the symbols mean in the Contradiction formula?

A contradiction yields a false statement like 0 = 3. The solution set is \emptyset (empty set).

Why is the Contradiction formula important in Math?

Recognizing contradictions prevents wasting time on unsolvable equations and is the basis for proof by contradiction — one of mathematics' most powerful proof techniques. In logic and programming, detecting contradictions helps identify flawed assumptions and impossible constraints.

What do students get wrong about Contradiction?

When you reach 0 = 3 or any false number statement, stop immediately — the system has no solution.

What should I learn before the Contradiction formula?

Before studying the Contradiction formula, you should understand: equations.

← Back to Contradiction See All Examples Practice Problems

Related Concepts

EquationsConsistency