A valid logical argument that concludes from the premise A → B and the premise A that therefore, B is true. The name comes from the fact that the argument affirms (i.e., asserts as true) the antecedent (A) in the conditional.