Definition:Particular Negative/Set Theory

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


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

or, more compactly:


 * $S \cap \map \complement P \ne \O$

Also see

 * Equivalence of Definitions of Particular Negative


 * Definition:Square of Opposition


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