  As Aristotle explains in the Categories, the opposition between contradictories—“statements opposed to each other as affirmation and negation”—is defined in two ways. First, unlike contrariety, contradiction is restricted to statements or propositions; terms are never related as contradictories. Second, “in this case, and in this case only, it is necessary for the one to be true and the other false” (13b2–3). 