The '''square of opposition''' is a "diagram that illustrates the [[logic]]al relationships between four types of categorical [[proposition]]s: 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."<ref>[https://www.google.com/search?q=Square+of+Opposition&oq=Square+of+Opposition&gs_lcrp=EgZjaHJvbWUyBggAEEUYOTIGCAEQLhhA0gEIMTc3MmowajGoAgCwAgA&sourceid=chrome&ie=UTF-8 Square of opposition]</ref>
+
The '''square of opposition''' is a "diagram that illustrates the [[logic]]al relationships between four types of categorical [[proposition]]s: 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."<ref>[https://www.google.com/search?q=Square+of+Opposition&oq=Square+of+Opposition&gs_lcrp=EgZjaHJvbWUyBggAEEUYOTIGCAEQLhhA0gEIMTc3MmowajGoAgCwAgA&sourceid=chrome&ie=UTF-8 Square of opposition]</ref>