Er følgende et gyldig argument (tautologi)?

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

Dette er kjent som Modus Tollens, en annen grunnleggende inferensregel.