O seguinte é um argumento válido (tautologia)?

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

Isso é conhecido como Modus Tollens, outra regra fundamental de inferência.