Definition:Universal Affirmative/Also denoted as

Universal Affirmative: Also denoted as

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

Thus, when examining the categorical syllogism, the universal affirmative $\forall x: \map S x \implies \map P x$ is often abbreviated:

$\map {\mathbf A} {S, P}$

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $4$: The Predicate Calculus $2$: $4$ The Syllogism