Definition:Categorical Statement/Predicate

Definition
Let $S$ and $P$ be predicates.

Let $\mathbf{\Phi} \left({S, P}\right)$ be a categorical statement, expressed in abbreviated form.

The symbol $P$ can be referred to as the predicate of $\mathbf{\Phi} \left({S, P}\right)$.