Är följande ett giltigt argument (tautologi)?

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

Detta är känt som Modus Tollens, en annan fundamental slutledningsregel.