Examples 4 and 5 consist of a special kind of argument, a categorical argument. Categorical arguments, or categorical syllogisms, are comprised of categorical statements . Every categorical syllogism has exactly two premises and one conclusion. Note also, that every categorical syllogism has three terms. A categorical statement is a statement that relates two classes, sets, or categories.
Categorical statements have four different standard forms.
P. All ducks are animals. No humans are horses. Some soldiers are cowards. Some subatomic particles are not electrons. The significance of this will be discussed in greater detail, when we study predicate logic.