Obversion

An immediate inference in which the proposition’s quality is changed and the predicate is replaced with its complement. (See also Categorical proposition, Complement, and Quality.) Obversion is valid for all four claim types (A-, E-, I-, and O-propositions), because the obverted claim is equivalent to the original.