Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Kontravalenz
Die Kontravalenz ist das Oder mit ausgeschlossenem Und.
Unter den Mengenoperationen entspricht diesem Junktor die Vereinigung mit ausgeschlossenem Schnitt.
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.
- ↑ 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. - ↑ z. B. Lorenz: Disjunktion. In: Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie, 2. Aufl. 2005.
- ↑ z. B: Paul Lorenzen: Logik, 4. Aufl. (1970), S. 48 (um das Wort „Disjunktion“ zu vermeiden).
- ↑ z. B. Menne: Logik, 6. Aufl. (2001), S. 39.
- ↑ Strobach: Einführung in die Logik (2005), S. 22: manchmal, aber der lateinischen Bedeutung nicht gut entsprechend.
Previous Page Next Page
