Categorical syllogism

A categorical syllogism is a valid argument of the following form:

.

.

Therefore, .

In other words, this kind of argument states that if all a's are b's, and if all b's are c's, then all a's are c's''.

See also syllogism, hypothetical syllogism, disjunctive syllogism.