¿Es el siguiente un argumento válido (tautología)?

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

Esto se conoce como Silogismo Disyuntivo.