The proposition ¬q → ¬p is called the Contrapositive of the proposition p → q. They are logically equivalent.