Proof (Intuition) Formula

The Formula

(P \to \bot) \Rightarrow \neg P (proof by contradiction: if assuming P leads to a contradiction, then \neg P)

When to use: A chain of reasoning that convinces you something MUST be true.

Quick Example

Proof that \sqrt{2} is irrational: assume it's rational, derive contradiction.

Notation

\therefore means 'therefore'; \square or \blacksquare marks the end of a proof (QED)

What This Formula Means

The informal, intuitive sense of why a mathematical statement must be true — the "aha" that precedes and motivates a formal proof.

A chain of reasoning that convinces you something MUST be true.

Formal View

Direct: assume P, derive Q. Contradiction: assume \neg Q, derive \bot, conclude Q. Contrapositive: prove \neg Q \to \neg P instead of P \to Q

Worked Examples

Example 1

easy
Before writing a formal proof that 'the sum of two even integers is even,' build the intuition. Explain why it must be true, then formalise.

Solution

  1. 1
    Intuition: Even numbers are multiples of 2. Adding two multiples of 2 gives another multiple of 2 — the '2-ness' is preserved.
  2. 2
    Analogy: pairs of objects combined with pairs of objects always give pairs.
  3. 3
    Formalise: Let a=2m and b=2n. Then a+b=2m+2n=2(m+n), which is even.

Answer

a+b = 2(m+n) \text{ is even}
Proof intuition means building a convincing internal picture before writing the formal argument. The intuition guides which definitions and algebraic steps to use, making the formal proof feel natural rather than mechanical.

Example 2

medium
Build intuition for why \sqrt{2} is irrational before writing the formal proof. What is the core contradiction?

Common Mistakes

  • Thinking that checking several examples constitutes a proof — examples can suggest a pattern but cannot prove a universal claim
  • Confusing a proof with a plausibility argument — 'it seems right' is not the same as 'it must be right'
  • Starting a proof without clearly stating what is being assumed and what is being shown

Why This Formula Matters

Separates math from empirical sciences—we can KNOW, not just believe.

Frequently Asked Questions

What is the Proof (Intuition) formula?

The informal, intuitive sense of why a mathematical statement must be true — the "aha" that precedes and motivates a formal proof.

How do you use the Proof (Intuition) formula?

A chain of reasoning that convinces you something MUST be true.

What do the symbols mean in the Proof (Intuition) formula?

\therefore means 'therefore'; \square or \blacksquare marks the end of a proof (QED)

Why is the Proof (Intuition) formula important in Math?

Separates math from empirical sciences—we can KNOW, not just believe.

What do students get wrong about Proof (Intuition)?

A proof is not an example. Examples suggest; proofs establish.

What should I learn before the Proof (Intuition) formula?

Before studying the Proof (Intuition) formula, you should understand: logical statement, conditional.

← Back to Proof (Intuition) See All Examples Practice Problems