O seguinte é um argumento válido (tautologia)?

((A → B) ∧ A) → B

Isto é conhecido como Modus Ponens, uma regra fundamental de inferência.