obversion
Changing a categorical statement's quality and replacing its predicate with the complement.
Obversion changes the quality of a categorical statement (affirmative to negative or back) and replaces the predicate term with its complement. It gives an equivalent statement for all four types.
Examples
"All cats are mammals" obverts to "No cats are non-mammals."