A type of [[Proof]] to prove $p\to q$ by showing that $\neg p \to (r \wedge \neg r)$ for some [[Proposition]] $r$. By showing that if $p$ was [[Truth Value|false]] there would be a [[Contradiction]], you prove $p$ is [[Truth Value|true]].