Definition:Categorical Syllogism

Definition
A categorical syllogism is a logical argument which is structured as follows:

$(1): \quad$ It has exactly two premises and one conclusion.
 * The first premise is usually referred to as the major premise.
 * The second premise is usually referred to as the minor premise.

$(2): \quad$ It concerns exactly three terms, which are usually denoted:

$(3): \quad$ Each of the premises and conclusion is a categorical statement.

Also known as
Some sources refer to this as the syllogism, narrowing down its field of definition to the precise structure as defined here.