Disjunctive syllogism: it refers to the reasoning that one sentence in the premise is disjunctive judgment, and then deduces the conclusion according to the disjunctive judgment and the relationship between disjunctions.
According to the above definition, which of the followings belongs to disjunctive syllogism:
All A belongs to B, all C belongs to A, so all C belongs to B