Definition:Affirmative Categorical Statement

From ProofWiki
Jump to navigation Jump to search

Definition

An affirmative categorical statement is either one of:


Universal Affirmative

Every $S$ is $P$

where $S$ and $P$ are predicates.


Particular Affirmative

Some $S$ is $P$

where $S$ and $P$ are predicates.


Sources