Kontravalenz

Kontravalenz bezeichnet in der klassischen Logik und Mathematik die Verbindung zweier Aussagen durch den zweistelligen Junktor entweder – oder^[1], der auch exklusives Oder oder Kontravalentor heißt. Bei der Kontravalenz muss genau eine der beiden Aussagen zutreffen, entweder die eine oder die andere; weder sind beide zugleich wahr noch beide zugleich falsch.

Synonym mit Kontravalenz werden auch die Bezeichnungen ausschließende Disjunktion (auch vollständige oder antivalente Disjunktion)^[2], Bisubtraktion^[3], ausschließendes Oder, Antivalenz, kontradiktorischer Gegensatz^[4], Kontrajunktion oder Alternation^[5] verwendet. In der Schaltalgebra spricht man von dem Exklusiv-Oder-Gatter (XOR-Gatter), in der Aussagenlogik nennt man sie XOR-Verknüpfung.

1. ↑ Vgl. Lorenz: Disjunktion. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. 2. Aufl. 2005.
   In einer anderen Bedeutung auch die Wahrheitswertefunktion, die diesen Junktor interpretiert.
2. ↑ z. B. Lorenz: Disjunktion. In: Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl. 2005.
3. ↑ z. B: Paul Lorenzen: Logik, 4. Aufl. (1970), S. 48 (um das Wort „Disjunktion“ zu vermeiden).
4. ↑ z. B. Menne: Logik, 6. Aufl. (2001), S. 39.
5. ↑ Strobach: Einführung in die Logik (2005), S. 22: manchmal, aber der lateinischen Bedeutung nicht gut entsprechend.