L'argument suivant est-il valide (tautologie) ?

((A → B) ∧ A) → B

Ceci est connu sous le nom de Modus Ponens, une règle d'inférence fondamentale.