Square of opposition
This is an old revision of this page, as edited by Conservative (talk | contribs) at 12:44, December 2, 2025. It may differ significantly from current revision.
The square of opposition is a "diagram that illustrates the logical relationships between four types of categorical propositions: universal affirmative (A), universal negative (E), particular affirmative (I), and particular negative (O). It originated with [[[Aristotle]] and shows how the truth value of one proposition can be used to determine the truth value of another based on relationships like contradiction, contrariety, and subcontrariety."[1]