Является ли следующее утверждение корректным аргументом (тавтологией)?

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

Это известно как разделительный силлогизм (Disjunctive Syllogism).