It's common in mathematics to prove a statement true without ever actually arguing why it's true. This lecture explores two techniques for doing so - proof by contrapositive and proof by contradiction - and develops some of the mathematical machinery needed to do this effectively.
Readings
- Readings: Proofwriting Checklist, Guide to Office Hours, Guide to $\LaTeX$, Guide to Proofs, Guide to Proofs on Sets
Links