Proof by Contradiction/Variant 1

Theorem

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

Proof
By the tableau method of natural deduction: