Is het volgende een geldig argument (tautologie)?

((A → B) ∧ A) → B

Dit staat bekend als Modus Ponens, een fundamentele afleidingsregel.