Refers to an exclusive disjunction (“or”-statement). Contravalence can be paraphrased as “either A, or B, but not both”.
For example:
For dessert, you can have fruit salad or ice cream [but not both].
A contravalence is a statement that is true if exactly one of the two sub-statements is true, i.e. in this case if there is fruit for dessert or if there is ice cream. Unlike in an adjunction (inclusive disjunction), the overall expression is not true if both partial statements are true, i.e. if both, ice cream and fruit are served.
| A | B | A ⊻ B |
|---|---|---|
| true | true | false |
| true | false | true |
| false | true | true |
| false | false | false |
Although there is no specific word for an exclusive “or” in English, people often try to clarify this meaning by constructions such as “either … or …”, or by emphasizing: “… but not both”. This is often awkward and does not exactly represent the meaning of the logical expression.
Occasionally, the neologism “xor” (“exclusive or ”), originating from information sciences, is occasionally used in written language to denote a contravalence.
In Latin, the word “aut ” stands for an exclusive “or”. This term is also occasionally used to denote contravalence.
On this website, the symbol ⊻ is used for contravalence. In other places, you may also find ⊕ or ⩒ instead. These symbols are all pronounced “aut ”.
As an alternative symbol, ≢ (“not logically equivalent to”) may be used if specific reference is to be made to the fact that a contravalence represents the inverse of logical equivalence.
The term “xor”, from the computer science (see above) is also occasionally used in this sense (pronounced: “ex-or ”).
In the context of mathematical logic, the symbol ⊕ is also used with the same meaning.
However, the combination symbol >< (which is rarely used anyway) is expressly not recommended, as it can be misinterpreted as ≷ (“greater than or less than”).
And finally, the symbols ↮ and ⇎ can indicate that the contravalence can be the logical opposite of a biconditional. However, at least the available Unicode symbols are very difficult to read in normal typesetting. They should therefore be used with caution.