Is het volgende een geldig argument (tautologie)?

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

Dit staat bekend als Disjunctief Syllogisme.