Er følgende et gyldigt argument (tautologi)?

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

Dette er kendt som Modus Tollens, en anden fundamental inferensregel.