다음은 타당한 논증(항진명제)인가요?

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

이것은 선언적 삼단논법(Disjunctive Syllogism)으로 알려져 있습니다.