Definition:Categorical Statement/Predicate

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ and $P$ be predicates.

Let $\map {\mathbf \Phi} {S, P}$ be a categorical statement, expressed in abbreviated form.


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


Sources