| − | 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."<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 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."<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> |