A logical fallacy that argues from the premise A → B and the premise !A that therefore, !B. The name comes from the fact that the operation denies (i.e., asserts the negation of) the antecedent (A) in the conditional.