Er følgende et gyldigt argument (tautologi)?

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

Dette er kendt som Disjunktiv Syllogisme.