以下は妥当な論証（トートロジー）ですか？

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

これは選言三段論法として知られています。