Category:Definitions/Categorical Statements

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Categorical Statements.
Related results can be found in Category:Categorical Statements.


Let $S$ and $P$ be predicates.

A categorical statement is a statement that can be expressed in one of the following ways in natural language:

\((A)\)   $:$   Universal Affirmative:    Every $S$ is $P$      
\((E)\)   $:$   Universal Negative:    No $S$ is $P$      
\((I)\)   $:$   Particular Affirmative:    Some $S$ is $P$      
\((O)\)   $:$   Particular Negative:    Some $S$ is not $P$