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

((A → B) ∧ ¬B) → ¬A

이것은 Modus Tollens로 알려진 또 다른 기본적인 추론 규칙입니다.