statements (A, E, I, and O) are related in interesting—and useful—ways. They found that standard-form statements with the same subject and predicate but different quantity or quality will have truth values that are predictably correlated. By tradition, this connection is described as one of opposition, and it is formalized and illustrated in the square of opposition.
What square of opposition is