Ist das folgende ein gültiges Argument (Tautologie)?

((A → B) ∧ A) → B

Dies ist bekannt als Modus Ponens, eine fundamentale Schlussregel.