Is het volgende een geldig argument (tautologie)?

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

Dit staat bekend als Modus Tollens, een andere fundamentele afleidingsregel.