Definition:Universal Categorical Statement

From ProofWiki
Jump to navigation Jump to search

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.