O seguinte é um argumento válido (tautologia)?

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

Isso é conhecido como Silogismo Disjuntivo.