以下是否为有效论证（重言式）？

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

这被称为析取三段论。