contrapositions

kɒntrəpəˈzɪʃ(ə)n

noun

conversion of a proposition from all A is B to all not-B is not-A.