Contrapositive

If$P$then$Q$ $\Rightarrow <!--\; \Rightarrow \; -->$if not $Q$then not$P$.

Harrison, John. Handbook of practical logic and automated reasoning. Cambridge University Press, 2009.