| − | 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]] (Contradictions are statements that cannot both be true or both be false; they always have opposite truth values, such as "it is raining" and "it is not raining), contrariety(Contraries are statements that cannot both be true, but can both be false, such as "the shirt is red" and "the shirt is green," because the shirt could be blue), 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]] (Contradictions are statements that cannot both be true or both be false; they always have opposite truth values, such as "it is raining" and "it is not raining), contrariety (Contraries are statements that cannot both be true, but can both be false, such as "the shirt is red" and "the shirt is green," because the shirt could be blue), 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> |