In term logic, the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On Interpretation and its distinction between two... Wikipedia