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

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

これはモーダストレンス（Modus Tollens）として知られる、もう一つの基本的な推論規則です。