Er følgende et gyldig argument (tautologi)?

((A → B) ∧ A) → B

Dette er kjent som Modus Ponens, en grunnleggende slutningsregel.