noun

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