The contrapositive of a statement is formed by negating the hypothesis and conclusion of a statement and switching them (the hypothesis becomes the conclusion and vice versa).
With this definition we can conclude that the contrapositive of p→q would be ~q→~p
