Introduction to Mathematical Proofs
Learn the fundamentals of mathematical proofs and how to construct logical arguments.
Definition
- Given information (premises or hypotheses)
- Logical steps (each justified by a rule or previously proven fact)
- Conclusion (the statement being proven)
Try it now
Worked Examples
Prove that the sum of any two even numbers is even.
Define what even means
A number is even if for some integer → Definition established
Let the two even numbers be and
By definition: and where are integers → Express in terms of definition
Add the two numbers
→ Factor out 2
Identify the form
is , which is the definition of even → Matches even definition
State conclusion
Therefore, is even → QED
Answer: The sum of two even numbers is always even because , which is 2 times an integer.
Common Mistakes
Using specific examples instead of general proof
Why it's wrong: Showing that is even only proves that ONE case works, not ALL cases.
Correct: Use variables () to represent ANY two even numbers.
Assuming what you want to prove
Why it's wrong: You cannot use the conclusion in your reasoning - that is circular logic.
Correct: Start only from given information and definitions, then derive the conclusion.
Missing justification for steps
Why it's wrong: Every step must be justified by a definition, axiom, or previously proven theorem.
Correct: Always state WHY each step follows from the previous one.
Confusing implication direction
Why it's wrong: If , knowing does NOT tell us is true.
Correct: Be careful: converse and inverse of a true statement may be false.
Interactive Visual
Truth Table
| P | Q | P ∧ Q |
|---|---|---|
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
T= TrueF= False
Interactive Sandbox
Expression Calculator
Try these:
History
No calculations yet
Practice Problems
16 problemsWhat is a mathematical proof?
Why It Matters
- Certainty: Unlike science which relies on evidence, proofs provide absolute certainty
- Computer Science: Program verification and algorithm correctness rely on proofs
- Law: Legal arguments follow similar logical structures
- Philosophy: Logical reasoning is essential for philosophical arguments
- Problem Solving: Learning to prove develops systematic thinking skills
Real World Applications
Computer Science: Algorithm Correctness
Software engineers use proofs to verify that programs work correctly for all inputs.
Example:
Proving a sorting algorithm always produces a sorted list requires mathematical induction.
A loop repeats times. Each iteration doubles a counter starting at 1.
Prove the final value is .
Step 1: Write the mathematical expression
After iterations, the value is:
Cryptography: Security Proofs
Modern encryption relies on mathematical proofs to guarantee security.
Example:
The security of RSA encryption is based on the proven difficulty of factoring large numbers.
If you can factor the product of two primes, you can break the code.
Why is 15 easier to factor than 437?
Step 1: Write the mathematical expression
Compare the number of factors to check:
Legal Reasoning: Building Arguments
Lawyers construct logical arguments similar to mathematical proofs.
Example:
Legal reasoning follows 'If the evidence shows X, and X implies guilt, then the defendant is guilty.'
Rule: All contracts require consideration (exchange of value). Person A signed a document but received nothing.
Is this a valid contract?
Step 1: Write the mathematical expression
Apply the logical rule:
Key Takeaways
- 1A mathematical proof is a logical argument showing why a statement must be true
- 2Direct proof: assume the hypothesis, derive the conclusion step by step
- 3Proof by contradiction: assume the opposite is true, reach a contradiction
- 4Every step must be justified by a definition, axiom, or proven theorem
- 5Proofs must work for ALL cases, not just specific examples
Frequently Asked Questions
Glossary
- Proof
- A logical argument demonstrating that a mathematical statement is true
- Theorem
- A mathematical statement that has been proven to be true
- Axiom
- A statement accepted as true without proof; a starting point for reasoning
- Hypothesis
- The starting assumption in a conditional statement (the 'if' part)
- Conclusion
- The result that follows from the hypothesis (the 'then' part)
- Contradiction
- A logical impossibility; two statements that cannot both be true
- QED
- Abbreviation marking the end of a proof (quod erat demonstrandum)