Aşağıdaki geçerli bir argüman mıdır (totoloji)?

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

Bu, temel çıkarım kurallarından biri olan Modus Tollens olarak bilinir.