An introductory course designed to teach the fundamental concepts and techniques of mathematical proofs.
Sometimes proving something directly is tricky, so mathematicians use clever indirect methods.
Assume the opposite of what you want to prove, show this leads to a contradiction (something impossible), so your original statement must be true.
Instead of proving "if A, then B," you prove "if not B, then not A." Since these are logically equivalent, this can be easier!
These methods are powerful tools for tricky statements that seem hard to prove head-on.
Proving that \( \sqrt{2} \) is irrational by contradiction.
Proving that if \( n^2 \) is even, then \( n \) is even by contrapositive.
Contradiction and contrapositive proofs turn a problem on its head to reach the solution.