Key notes on Alternative-Categorical Syllogisms
This is a kind of mixed syllogism in which the major premise is an alternative proposition and the minor premise is a categorical proposition affirming one of the alternatives of the major premise. The conclusion is a categorical proposition that denies the other alternative.