Category:Categorical Statements

From ProofWiki
Jump to navigation Jump to search

This category contains results about Categorical Statements.
Definitions specific to this category can be found in Definitions/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$