# Definition:Universal Categorical Statement

## Definition

A universal categorical statement is either one of:

### Universal Affirmative

Every $S$ is $P$

where $S$ and $P$ are predicates.

### Universal Negative

No $S$ is $P$

where $S$ and $P$ are predicates.