obverting

verb
  1. performing the logical operation of obversion, in which a proposition is converted by negating both the predicate and the quality of the original statement
  2. Usage: logic; formal reasoning

Examples