\begin{definition}[Definition:Categorical Syllogism]
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:
{{begin-axiom}}
{{axiom | q = P
        | t = the primary term
}}
{{axiom | q = M
        | t = the middle term
}}
{{axiom | q = S
        | t = the secondary term
}}
{{end-axiom}}
$(3): \quad$ Each of the premises and conclusion is a categorical statement.
\end{definition}