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

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

इसे वियोजक न्याय (Disjunctive Syllogism) के नाम से जाना जाता है।