Logic a proposition obtained by negating and transposing the terms of a given proposition: the contrapositive of “All A is B” is “All not-B is not-A”
See contrapositive in American Heritage Dictionary 4
noun Logic
A proposition derived by negating and permuting the terms of another, equivalent proposition; for example, All not-Y is not-X is the contrapositive of All X is Y.