A valid logical argument that concludes from the premise A → B and the premise !B that therefore, !A. The name comes from the fact that the operation denies (i.e., asserts the logical negation) the consequent (B) in the conditional.