Является ли следующее высказывание правильным аргументом (тавтологией)?

((A → B) ∧ A) → B

Это известно как Modus Ponens, фундаментальное правило вывода.