Implication

'if... then' | $\to$ - Implication
{$Hypothesis\to Conclusion$}

The $Hypothesis$ can only be true if the $conclusion$ is true, but there is no guarantee

Converse

• The converse of $p\to q$ is $q\to p$

Contrapositive

• The contrapositive of $p\to q$ is $\mathrm{\neg }p\to \mathrm{\neg }p$
  Can be shown as $(\mathrm{\neg }p\vee q)$