Definition:Universal Affirmative

Definition
A universal affirmative is a categorical statement of the form:


 * Every $S$ is $P$

where $S$ and $P$ are predicates.

In the language of predicate logic, this can be expressed as:


 * $\forall x: S \left({x}\right) \implies P \left({x}\right)$

Its meaning can be amplified in natural language as:
 * Given any arbitrary object, if it has the property of being $S$, then it also has the quality of being $P$.

Also denoted as
Traditional logic abbreviated the universal affirmative as $\mathbf A$.

Thus, when examining the categorical syllogism, the universal affirmative $\forall x: S \left({x}\right) \implies P \left({x}\right)$ is often abbreviated:
 * $\mathbf A \left({S, P}\right)$

Linguistic Note
$\mathbf A$ originates from the first vowel in the Latin word Affirmo, meaning I affirm.

Also see

 * Definition:Square of Opposition


 * Definition:Universal Negative
 * Definition:Particular Affirmative
 * Definition:Particular Negative


 * Equivalence of Definitions of Universal Affirmative