Il seguente è un argomento valido (tautologia)?

((A → B) ∧ A) → B

Questa è conosciuta come Modus Ponens, una regola fondamentale di inferenza.