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

((A ∨ B) ∧ ¬A) → B

Detta är känt som Disjunktiv Syllogism.