\begin{definition}[Definition:Particular Negative]
A '''particular negative''' is a categorical statement of the form:
:''Some $S$ is not $P$''
where $S$ and $P$ are predicates.
In the language of predicate logic, this can be expressed as:
:$\exists x: \map S x \land \neg \map P x$
Its meaning can be amplified in natural language as:
:''There exists at least one object with the property of being $S$ which does not have the quality of being $P$.''
\end{definition}