以下是否为有效论证（重言式）？

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

这被称为否定后件式 (Modus Tollens)，是另一个基本的推理规则。