If we show that ¬p → (r ∧¬r) is true for some proposition r, then this is a ________.
1) Direct Proof
2) Proof by Contradiction
3) Proof by Contraposition
4) Proof by Induction