Definition:Particular Affirmative/Also denoted as
Jump to navigation
Jump to search
Particular Affirmative: Also denoted as
Traditional logic abbreviated the particular affirmative as $\mathbf I$.
Thus, when examining the categorical syllogism, the particular affirmative $\exists x: \map S x \land \map P x$ is often abbreviated:
- $\map {\mathbf I} {S, P}$
Sources
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $4$: The Predicate Calculus $2$: $4$ The Syllogism