Er følgende et gyldigt argument (tautologi)?

((A → B) ∧ A) → B

Dette er kendt som Modus Ponens, en fundamental slutningsregel.