Reductio ad Absurdum/Variant 2

Theorem
If, by making an assumption $\neg p$, we can infer a contradiction as a consequence, then we may infer $p$:
 * $\neg p \implies \left({q \land \neg q}\right) \vdash p$

Linguistic Note
Reductio ad absurdum is Latin for reduction to absurdity.