¿Es el siguiente un argumento válido (tautología)?

((A → B) ∧ A) → B

Esto se conoce como Modus Ponens, una regla fundamental de inferencia.