Definition:Particular Affirmative/Set Theory

Definition

The particular affirmative $\exists x: \map S x \land \map P x$ can be expressed in set language as:

$\set {x: \map S x} \cap \set {x: \map P x} \ne \O$

or, more compactly:

$S \cap P \ne \O$

Also see

• Equivalence of Definitions of Particular Affirmative

• Definition:Square of Opposition

• Definition:Universal Affirmative/Set Theory
• Definition:Universal Negative/Set Theory
• Definition:Particular Negative/Set Theory

Sources

• 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): Appendix $\text{B}$: The Algebra of Classes