Proof by Contradiction/Variant 1

Theorem

 * $\left({p \implies \left({q \land \neg q}\right)}\right) \vdash \neg p$