\begin{definition}[Definition:Categorical Syllogism/Premises/Major Premise]
The '''major premise''' of a categorical syllogism is conventionally stated first.
It is a categorical statement which expresses the logical relationship between the primary term and the middle term of the syllogism.
\end{definition}