Är följande ett giltigt argument (tautologi)?

((A → B) ∧ A) → B

Detta är känt som Modus Ponens, en grundläggande slutledningsregel.