Is the following a valid argument (tautology)?

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

This is known as Modus Tollens, another fundamental rule of inference.