Definition:Particular Affirmative/Set Theory

Definition
The particular affirmative $\exists x: S \left({x}\right) \land P \left({x}\right)$ can be expressed in set language as:


 * $\left\{{x: S \left({x}\right)}\right\} \cap \left\{{x: P \left({x}\right)}\right\} \ne \varnothing$

or, more compactly:


 * $S \cap P \ne \varnothing$

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