নিচের যুক্তিটি কি বৈধ (tautology)?

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

এটি Modus Tollens নামে পরিচিত, যা অনুমানের আরেকটি মৌলিক নিয়ম।