Definition:Categorical Statement/Predicate
< Definition:Categorical Statement(Redirected from Definition:Predicate of Categorical Statement)
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
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $4$: The Predicate Calculus $2$: $4$ The Syllogism
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): syllogism
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): syllogism