Is the following a valid argument (tautology)?

((A → B) ∧ A) → B

This is known as Modus Ponens, a fundamental rule of inference.