다음은 타당한 논증(항진명제)인가요?

((A → B) ∧ A) → B

이것은 전건 긍정(Modus Ponens)으로 알려진 추론의 기본 규칙입니다.