In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original ...
noun . 1. an act or instance of obverting. 2. something that is obverted. 3. Logic. a form of inference in which a negative proposition is obtained from an affirmative, or vice ...