Note Footnote 3: — Chapter VII
Reading edition
A Disjunctive Syllogism is a syllogism in which the Major Premiss is a Disjunctive Proposition, i.e., one in which two propositions are declared to be mutually incompatible. It is of the form Either A is B, or C is D.3