Aşağıdaki geçerli bir argüman mıdır (totoloji)?

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

Bu, Ayrık Kıyas (Disjunctive Syllogism) olarak bilinir.