Contradiction

Algebra
definition

Also known as: no solution, inconsistent equation, impossible equation

Grade 9-12

View on concept map

A mathematical statement that is always false — no values of the variables can ever make it true. Recognizing contradictions prevents wasting time on unsolvable equations and is the basis for proof by contradiction — one of mathematics' most powerful proof techniques.

Definition

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

💡 Intuition

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

🎯 Core Idea

Contradictions signal an inconsistent system with no solutions.

Example

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

Formula

0 = c where c \neq 0 signals a contradiction

Notation

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

🌟 Why It 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.

💭 Hint When Stuck

Write out the simplified result. If it says something like 0 = 3, that means the system has no solution.

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.

Related Concepts

EquationsConsistency

🚧 Common Stuck Point

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

⚠️ 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

Frequently Asked Questions

What is Contradiction in Math?

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

What is the Contradiction formula?

0 = c where c \neq 0 signals a contradiction

When do you use Contradiction?

Write out the simplified result. If it says something like 0 = 3, that means the system has no solution.

Prerequisites

equations

Next Steps

consistency

How Contradiction Connects to Other Ideas

To understand contradiction, you should first be comfortable with equations. Once you have a solid grasp of contradiction, you can move on to consistency.

← Back to Explorer