क्या निम्नलिखित एक वैध तर्क (tautology) है?

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

यह Modus Tollens के रूप में जाना जाता है, जो अनुमान का एक अन्य मौलिक नियम है।