Contrapositive Definition

kŏntrə-pŏzĭ-tĭv
noun
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”
Webster's New World