CONTRAPOSITIVE

[con.tra.pos.i.tive] n (1870): a proposition resulting from an operation of immediate inference in which the terms of a given proposition are permuted and negated ""all not-P is not-S" is the ~ of "all S is P""