A correlative conjunction is a relationship between two statements where one must be false and the other true. In formal logic this is known as the exclusive or relationship; traditionally, terms between which this relationship exists have been called contradictories.
Examples
In the following example, statement b explicitly negates statement a:
Fido is a dog.
Fido is not a dog.
Statements can also be mutually exclusive, without explicitly negating each other as in the following example:
Object one is larger than object two.
Object one is smaller or the same size as object two.
