If p and q are two logical propositions, then the contrapositive of the proposition (p → q) is the proposition ((! q) → (!p) ). The contrapositive is logically equivalent to the original proposition.