¿Es el siguiente un argumento válido (tautología)?

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

Esto se conoce como Modus Tollens, otra regla fundamental de inferencia.