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

((A → B) ∧ A) → B

これはモーダスポネンス（Modus Ponens）として知られる、推論の基本規則です。