The logically equivalent form “If not B, then not A” of the conditional “If A, then B.” Unlike the converse or inverse, the contrapositive is always logically equivalent to the original conditional, making it the only safe rephrasing for valid deductive inference on the GMAT.