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

((A → B) ∧ A) → B

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