Ist das folgende Argument gültig (eine Tautologie)?

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

Dies ist bekannt als Modus Tollens, eine weitere fundamentale Schlussregel.