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

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

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