Given a conditional p → q, its contrapositive is ¬q → ¬p. A conditional and its contrapositive ARE always logically equivalent; this is the basis of proof by contrapositive.
Given a conditional p → q, its contrapositive is ¬q → ¬p. A conditional and its contrapositive ARE always logically equivalent; this is the basis of proof by contrapositive.