Definition:Negative Categorical Statement

From ProofWiki
Jump to navigation Jump to search

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.