# Definition:Negative Categorical Statement

## Definition

A negative categorical statement is either one of:

### Universal Negative

No $S$ is $P$

where $S$ and $P$ are predicates.

### Particular Negative

Some $S$ is not $P$

where $S$ and $P$ are predicates.