Proof is what makes mathematics different from every other subject: a proved statement is true forever, with no exceptions and no doubt. This course teaches the language of logic and sets, then the handful of classic methods of proof that mathematicians use to establish a result beyond argument.
You'll learn to read an implication, tell a necessary condition from a sufficient one, and wield deduction, exhaustion, the killer counterexample, contradiction, and the domino-chain of induction.
We begin with the alphabet of rigorous mathematics — sets and the symbols that describe them.