Remember the transformations for a statement "If p, then q":
- {Converse:} "If q, then p." (Swap)
- {Inverse:} "If not p, then not q." (Negate)
- {Contrapositive:} "If not q, then not p." (Swap and Negate)
A statement is always logically equivalent to its contrapositive.