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