Skip to main content
G12 SUPER GIO
123
01
LEARN MISSIONdefinitions, logic, counterexample, rigor, and exposition

definitions, logic, counterexample, rigor, and exposition

WORKED SOURCEWORKED SOURCE

Contrapositive proof

Claim: if n^2 is even, n is even. Contrapositive: if n is odd, n=2k+1, then n^2=4k^2+4k+1 is odd.

  1. A statement and its contrapositive are equivalent.
  2. Trace the worked reasoning before selecting the conclusion.

What has been proved?

MODELProof Blueprint
MATH
PROVEChoose with evidence
CLUE

Pause. Find what matters. Then make your move.