\begin{definition}[Definition:Categorical Syllogism/Primary Term]
The '''primary term''' of a categorical syllogism is the term that appears as the second predicate of the conclusion of the syllogism.
It also appears once in one of the premises of the syllogism, traditionally the major premise.
It is usually denoted by $P$.
\end{definition}