universal affirmative proposition

logic

Also known as: A proposition

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 14, 2026

Quick Summary

A universal affirmative proposition, also known as an 'A' proposition, is a statement that affirms something about all members of a class. For example, "Every dog is an animal" is a universal affirmative proposition. This type of proposition is fundamental in logic and forms one of the basic types of categorical propositions. These propositions were systematically studied by Aristotle as part of his work on syllogistic reasoning.1234

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

4 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

history of logic
Categorical forms
of the following forms:
Read More
of the following forms:
Read More

history of logic
Leibniz
A universal affirmative judgment, such as “All A’s are B’s,” becomes in Leibniz’ notation “A ∞ AB.” This equation states that the concepts included in the concepts of both A and B are the same as those in A. A syllogism, “All A’s are B’s; all…
Read More
A universal affirmative judgment, such as “All A’s are B’s,” becomes in Leibniz’ notation “A ∞ AB.” This equation states that the concepts included in the concepts of both A and B are the same as those in A. A syllogism, “All A’s are B’s; all…
Read More