Go
A categorical syllogism is an argument consisting of exactly three categorical propositions (two premises and a conclusion) in which there appear a total of exactly three categorical terms, each of which is used exactly twice.

Go
The predicate term of the conclusion refers to all members of that category, but the same term in the premises refers only to some members of that category.