L'argument suivant est-il valide (tautologie) ?

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

Ceci est connu sous le nom de Syllogisme disjonctif.