Il seguente è un argomento valido (tautologia)?

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

Questo è noto come Sillogismo Disgiuntivo.