Stage 37 · Beyond (Optional)
37.4.1 Statements, Conditions, and the Contrapositive
37.4 Mathematical Proof and Logic: Induction, Contradiction, and Construction
Point 1 of 5
37.4.1 Statements, Conditions, and the Contrapositive
Core idea"If p then q" is the basic sentence of mathematics, and it's true or false in exactly the same cases as its contrapositive "if not q then not p."
Module goal. Make the why behind a result clear, master the language of mathematical statements and the three main styles of proof, and move from being able to compute to being able to prove.