Ist das folgende Argument gültig (Tautologie)?

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

Dies ist bekannt als Disjunktiver Syllogismus.