Math · Algebra Fundamentals · Grade 9-12 · 5 min read

Contradiction

⚡ In one breath

A contradiction is a statement that's always false — no choice of variables makes it true, signalled by deriving 0=c0=c with c0c\neq0.

📐 The formula

0=c0 = c where c0c \neq 0 signals a contradiction

Orient

The one-line idea, why it matters, and the intuition.

Section 1

Quick Answer

A contradiction is a statement that's always false — no choice of variables makes it true, signalled by deriving 0=c0=c with c0c\neq0. Use it to conclude a system has no solution (S=S=\emptyset). The cue is two requirements that can't both hold, collapsing to a plainly false equation. Before calculating, ask: Have I reached a statement that no values could ever make true?

Section 2

Why This Matters

Hitting a contradiction is the clean proof of 'no solution': once elimination yields 0=50=5, you stop, because nothing can fix it. It's also the engine of proof by contradiction later — assume something, derive a falsehood, reject the assumption. Recognizing it by "Have I reached a statement that no values could ever make true?" — rather than by familiar numbers — is what lets a student tell it apart from redundancy and inconsistency and conditional equation in a mixed problem set.

Section 3

Intuitive Explanation

A door labeled both 'Push only' and 'Pull only' with no other way through: every action violates one rule, so the situation is impossible — a contradiction. This is the clean version of the idea because the visible structure matches the concept before any formula or procedure is chosen.

Confusing 0=00=0 with 0=c0=c: 0=00=0 is always TRUE (a redundant/identity step), while 0=30=3 is always false — only the latter is a contradiction. That contrast matters because many wrong answers come from recognizing a surface feature, such as a familiar number or word, instead of the actual task.

A useful way to slow down is to name the signal words and then test them. Words like **always false**, **no solution**, **0 = nonzero**, **can't both be true**, **empty set** are helpful clues, but they are not enough by themselves. They must point to the same structure as the mental model: A contradiction is a claim no values can ever satisfy, like 0=30=3.

The recognition test is simple: Have I reached a statement that no values could ever make true? If yes, contradiction is probably the right tool; if not, compare with Redundancy or Inconsistency or Conditional equation before calculating.

Core idea

A contradiction is a claim no values can ever satisfy, like 0=30=3.

Recognize

The cues that signal this concept and how to distinguish it from look-alikes.

Section 4

When to Use

Use Contradiction when you derive a statement that can never be true, proving no solution exists. Strong signals include **always false**, **no solution**, **0 = nonzero**, **can't both be true**, **empty set**. The safest workflow is to read the final question first, identify what kind of answer it wants, and then test the structure. Do not use contradiction just because familiar numbers appear; first decide whether the situation answers "Have I reached a statement that no values could ever make true?" with yes.

✨ Pro tip

Ask: Have I reached a statement that no values could ever make true?

Section 5

How to Recognize It

Before using Contradiction, check the structure of the problem, not just the vocabulary. These questions force the same recognition move from several angles: the task, the signal words, the nearest confusion, and the thing that would make the concept fail.

  1. Have I reached a statement that no values could ever make true?

    If yes, the problem matches contradiction. If no, pause before applying the procedure, because the same numbers may belong to a different idea.

  2. Which words signal the structure?

    Look for always false, no solution, 0 = nonzero, can't both be true. These words are useful only after the situation matches them; a keyword without structure is not proof.

  3. What is the nearest confusion?

    Redundancy is the common trap here: A statement always TRUE (0=00=0), adding nothing rather than forbidding everything. Compare the desired final answer before choosing a method.

  4. What answer form should I expect?

    The answer should fit this mental model: A contradiction is a claim no values can ever satisfy, like 0=30=3. If the expected answer sounds more like redundancy, use the comparison table before solving.

  5. What would make this NOT Contradiction?

    Confusing 0=00=0 with 0=c0=c: 0=00=0 is always TRUE (a redundant/identity step), while 0=30=3 is always false — only the latter is a contradiction. This tells you when to switch tools instead of forcing the concept.

Section 6

Contradiction vs Common Confusions

The hard part is recognizing when the task is really about contradiction instead of a nearby idea. Read the final answer the problem wants, then ask which row describes the structure before you start calculating.

Contradiction

Meaning
Use this when you derive a statement that can never be true, proving no solution exists. The deciding question is: Have I reached a statement that no values could ever make true?
Key test
Have I reached a statement that no values could ever make true?
Formula
0=c0 = c where c0c \neq 0 signals a contradiction
Example
Solve x+y=5x+y=5 and x+y=8x+y=8.

Redundancy

Meaning
A statement always TRUE (0=00=0), adding nothing rather than forbidding everything.
Key test
Use when the extra equation repeats a constraint, not conflicts with it.
Formula
0=00=0
Example
Eq2 = 2x Eq1

Inconsistency

Meaning
The system-level name for 'has a contradiction.'
Key test
Use 'inconsistent' to describe the whole system; 'contradiction' for the false statement.
Formula
S=S=\emptyset
Example
No solution

Conditional equation

Meaning
True only for some values, not always false.
Key test
Use when an equation has a solution set you can find.
Formula
2x=6x=32x=6\Rightarrow x=3
Example
Solvable equation

Apply

Worked examples and the mistakes most students make.

Section 7

Formula & Notation

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

How to read it: A contradiction yields a false statement like 0=30 = 3. The solution set is \emptyset (empty set).

Section 8

Worked Examples

Example 1 — Derive the falsehood

Easy

Problem

Solve x+y=5x+y=5 and x+y=8x+y=8.

Solution

  1. The same quantity x+yx+y is required to be two different values.

    Name the structure before touching arithmetic — that is what makes the right method obvious.

  2. Ask the recognition question: Have I reached a statement that no values could ever make true?

    If the answer is yes, the concept applies; the cue, not a keyword, decides the method.

  3. Subtract the first from the second.

    The rule is chosen only after the structure matches, so the steps mean something.

  4. (x+y)(x+y)=85(x+y)-(x+y)=8-5 gives 0=30=3.

    Keep units, shape, or answer form tied to the story so the work does not become symbol pushing.

  5. Check the answer against the original question.

    It should fit the mental model — a statement that can never be true. If it does not, revisit the recognition step before changing the arithmetic.

Answer

No solution — contradiction

Takeaway: Reaching 0=c0=c with c0c\neq0 proves the statement is always false.

Example 2 — Always true instead

Standard

Problem

Solve x+y=5x+y=5 and 2x+2y=102x+2y=10.

Solution

  1. Notice why this looks like the same concept.

    Nearby language or numbers can tempt you toward a statement that can never be true.

  2. The second is just twice the first, so it agrees instead of conflicting.

    Spotting what actually changed is what separates this from the concept it resembles.

  3. Subtracting yields 0=00=0, an identity, not a falsehood.

    The nearby idea may share numbers but answers a different question, so it needs a different move.

  4. State the result in the language of the actual task.

    Infinitely many solutions (redundant). Name it for what the problem really asked, not the concept you first expected.

  5. Say the contrast in one sentence.

    0=00=0 is redundancy (true); 0=c0=c is contradiction (false).

Answer

Infinitely many solutions (redundant)

Takeaway: 0=00=0 is redundancy (true); 0=c0=c is contradiction (false).

Example 3 — Spot the trap: A statement that can never be true

Application

Problem

A student starts with this idea: "Reading 0=00=0 as a contradiction" What should they check before accepting that reasoning?

Solution

  1. Pause before the first move.

    The first move is a decision, not a calculation — does the situation really match a statement that can never be true.

  2. Run the recognition test: Have I reached a statement that no values could ever make true?

    This is the single check that the trap skips.

  3. 0=00=0 is always true (redundant); only 0=c0=c with c0c\neq0 is a contradiction.

    Stating the safer rule turns the mistake into a checkable step instead of a vague "be careful."

  4. Compare with the nearest confusion, Redundancy.

    A statement always TRUE (0=00=0), adding nothing rather than forbidding everything.

  5. State the corrected decision and reuse it.

    Using the concept only when the structure matches leaves a process the student can repeat on a new problem.

Answer

0=00=0 is always true (redundant); only 0=c0=c with c0c\neq0 is a contradiction.

Takeaway: The recognition step prevents the common trap: Reading 0=00=0 as a contradiction

Section 9

Common Mistakes

Common slip-up

Reading 0=00=0 as a contradiction

The right idea

0=00=0 is always true (redundant); only 0=c0=c with c0c\neq0 is a contradiction.

Common slip-up

Continuing to solve after a contradiction

The right idea

once you hit 0=50=5, stop: there is no solution.

Common slip-up

Forgetting a contradiction can come from a setup error

The right idea

recheck arithmetic before declaring no solution.

Practice

Try it, then see where this concept fits in the path.

Section 10

Mini Practice

Try these on your own. Tap Reveal when you want to check.

  1. What clue tells you this is a Contradiction situation: Solve x+y=5x+y=5 and x+y=8x+y=8.

    Hint: Have I reached a statement that no values could ever make true?

  2. Solve x+y=5x+y=5 and x+y=8x+y=8.

    Hint: Subtract the first from the second.

  3. Why is this a contrast case instead of Contradiction: Solve x+y=5x+y=5 and 2x+2y=102x+2y=10.

    Hint: The second is just twice the first, so it agrees instead of conflicting.

  4. Fix this thinking: Reading 0=00=0 as a contradiction

    Hint: Name the recognition cue before choosing a rule.

  5. Which is the better fit here: Contradiction or Redundancy? Explain the deciding difference.

    Hint: For Contradiction, ask: Have I reached a statement that no values could ever make true?

  6. Write one sentence that would remind a classmate how to recognize Contradiction.

    Hint: Use the mental model "A statement that can never be true." and one signal word.

Want the full set?

50 practice questions for this concept — free to try, every one with a complete worked solution showing the why, not just the answer.

Section 11

Frequently Asked Questions

How do I know when to use Contradiction?

Use Contradiction when you derive a statement that can never be true, proving no solution exists. Do not start from the numbers alone; first name the structure of the situation. The fastest check is: Have I reached a statement that no values could ever make true? If the answer is yes and the wording matches cues like always false, no solution, 0 = nonzero, then contradiction is probably the right tool.

What is Contradiction most often confused with?

Contradiction is often confused with Redundancy. Redundancy means A statement always TRUE (0=00=0), adding nothing rather than forbidding everything. The difference is not just vocabulary; it changes the action you take. For contradiction, the key test is "Have I reached a statement that no values could ever make true?" For redundancy, the better cue is: Use when the extra equation repeats a constraint, not conflicts with it.

What is the fastest recognition cue for Contradiction?

Look for always false, no solution, 0 = nonzero, can't both be true, but treat those words as clues, not proof. A word problem can contain a familiar keyword and still ask for a different idea. After noticing the cue, ask the recognition question: Have I reached a statement that no values could ever make true? That question protects you from using a memorized procedure in the wrong place.

What mistake should I avoid with Contradiction?

Avoid this thinking: "Reading 0=00=0 as a contradiction" That mistake usually happens when the student jumps to a rule before checking the situation. The safer version is: 0=00=0 is always true (redundant); only 0=c0=c with c0c\neq0 is a contradiction. A good habit is to say the mental model out loud first: "A statement that can never be true." Then choose the calculation or representation.

How can I tell this apart from Inconsistency?

Inconsistency is the better fit when the task is about this: The system-level name for 'has a contradiction.' Contradiction is the better fit when you derive a statement that can never be true, proving no solution exists. If both ideas seem possible, compare what the problem wants as the final answer. The desired output often reveals whether you should use contradiction or switch to the nearby concept.

Why does Contradiction matter?

Hitting a contradiction is the clean proof of 'no solution': once elimination yields 0=50=5, you stop, because nothing can fix it. It's also the engine of proof by contradiction later — assume something, derive a falsehood, reject the assumption. The practical value is recognition: once you can spot contradiction, you can choose a method before calculating. That makes later topics easier because you are not memorizing isolated tricks; you are recognizing the same structure when it appears in a new representation.

Section 12

Learning Path

← Before

Equations
Contradiction

You are here

Next →

Consistency
Before this, students should be comfortable with Equations. This page focuses on the recognition cue: Have I reached a statement that no values could ever make true? That cue is the bridge between earlier skills and later problem solving: students first learn to identify the structure, then they learn which calculation, diagram, graph, or proof move belongs to it. After this, Consistency become easier to recognize.

Section 13

See Also