Practice Proof (Intuition) in Math
Use these practice problems to test your method after reviewing the concept explanation and worked examples.
Quick Recap
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.
Showing a random 20 of 50 problems.
Example 1
easyBuild intuition for the statement: 'For any integer , is even.' Explain informally why this must be true.
Example 2
mediumIn the inductive step for , assuming it for , what do you add to both sides to reach ? Give the term.
Example 3
easyThe contrapositive of 'if then ' is 'if not then not ' and is logically equivalent. Give if equivalent.
Example 4
mediumBuild intuition for why is irrational before writing the formal proof. What is the core contradiction?
Example 5
hardWhy does the principle of strong induction allow assuming all at once when proving ? Build intuition with the prime factorization theorem.
Example 6
easyHow many cases does a proof by cases on the parity of an integer need? Give the number.
Example 7
easyHow many counterexamples are needed to disprove a universal statement of the form 'for all , '?
Example 8
easyThe proof technique that assumes the opposite and derives a contradiction is called proof by _____.
Example 9
easyThe sum of two even numbers is even. Writing , what common factor proves it? Give the factor.
Example 10
challengeIn a flawed proof '', both sides are divided by after setting . What is the value of that invalidates this step?
Example 11
mediumGive a counterexample to the claim 'every odd integer is prime'.
Example 12
hardIf 'all crows are black' is true and you see a non-black object, what can you conclude about the object?
Example 13
mediumSketch the intuition behind the pigeonhole principle: if pigeons fit into holes, what must happen?
Example 14
challengeA proof shows is divisible by for all integers . Factoring gives โ how many consecutive integers is that product, guaranteeing a multiple of ?
Example 15
mediumTo prove a number is divisible by , it suffices to show divisibility by which two coprime numbers? Give their product.
Example 16
easyThe negation of 'for all , ' is 'there exists such that _____'.
Example 17
easyTrue or false: 'if then ' is logically equivalent to its contrapositive 'if not then not '.
Example 18
mediumA valid proof needs each step to follow. In ', so ', what operation was applied to both sides? Give the multiplier.
Example 19
easyIs the statement 'for some , ' true? Give an example.
Example 20
mediumIn an 'if and only if' proof, how many directions must be shown? Give the number.