Contrary is the relationship between two propositions when they cannot both be true (although both may be false). Thus, we can make an immediate inference that if one is true, the other must be false. The law holds for the A and E propositions of the Aristotelian square of opposition.