propositions with the contradictory of the original predicate, contraposition is first obtained by converting the obvert of the original proposition.
Kaynak: Contraposition (traditional logic)

in its application to categorical propositions the result of contraposition is two contrapositives, each being the obvert of the other i.e. "
Kaynak: Transposition (logic)

vertō | vert- | vert- | vers- | turn | obverse, obversion, obvert, perverse, perversion, perversity, pervert, reversal, reverse,
Kaynak: List of Latin words with English derivatives