Skip to content
LaTeX (KaTeX) templates

Math — Proof by Contradiction

The structure of a proof by contradiction.

Template previewLaTeX (KaTeX)
Rendering…

Make it your own.

\text{assume } \lnot P

\text{derive a contradiction}

\therefore P \text{ must be true}

\sqrt{2} \text{ is irrational (classic example)}