Definition:Categorical Statement/Abbreviation

Definition
Let $S$ and $P$ be predicates. A categorical statement connecting $S$ and $P$ can be abbreviated as:
 * $\map {\mathbf \Phi} {S, P}$

where $\mathbf \Phi$ is one of either $\mathbf A$, $\mathbf E$, $\mathbf I$ or $\mathbf O$, signifying Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative respectively.

Thus: