Kontravalenz

Venn-Diagramm von $A{\dot {\lor }}B$
Die Kontravalenz ist das oder mit ausgeschlossenem und.
Unter den Mengenoperationen entspricht diesem Junktor die Vereinigung mit ausgeschlossenem Schnitt.

Kontravalenz ist in der klassischen Logik und Mathematik die Bezeichnung für die Verbindung zweier Aussagen durch den zweistelligen Junktor, der entweder – oder, exklusives Oder sowie auch Kontravalentor heißt.

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

Definition und Eigenschaften

Definiert wird die Kontravalenz durch die Wahrheitswertefunktion ihres Junktors: Eine Kontravalenz ist genau dann wahr, wenn beide durch sie verbundenen Aussagen unterschiedliche Wahrheitswerte haben, das heißt, wenn entweder die eine oder die andere wahr ist, wenn aber nicht beide gleichzeitig wahr oder beide gleichzeitig falsch sind. Der lateinische Ausdruck für dieses ausschließende Oder als „entweder – oder“ lautet „aut – aut“.

Durch eine Wahrheitstabelle (Matrix) ist die aut-Funktion als Wahrheitswertefunktion der Kontravalenz damit wie folgt gegeben:

A	B	$A{\dot {\lor }}B$
wahr	wahr	falsch
wahr	falsch	wahr
falsch	wahr	wahr
falsch	falsch	falsch

Die Kontravalenz ist assoziativ und kommutativ. Zudem ist sie selbstinvers und distributiv bezüglich logisch UND, aber nicht bezüglich ODER:

Es gilt immer $A\land (B{\dot {\lor }}C)=(A\land B){\dot {\lor }}(A\land C)$ ,
jedoch ist $A\lor (B{\dot {\lor }}C)=(A\lor B){\dot {\lor }}(A\lor C)$ , nur falls falsch ist.

Abgrenzung und Gemeinsamkeiten

Der Unterschied zum nicht-ausschließenden Oder (im engeren Sinn die Disjunktion) besteht in der „verschärften Information“, dass „von vornherein feststeht, dass eine der beiden Alternativen wahr sein muss“, das heißt nicht nur wenigstens, sondern auch höchstens einer der beiden Sachverhalte besteht.

Äquivalenzen der Kontravalenz, also Formeln mit anderen Junktoren, die denselben Wahrheitswertverlauf haben, sind:

Negation des Bikonditionals (Negation der Äquivalenz) $\neg (A \leftrightarrow B)$
$(A \vee B) \wedge \neg (A \wedge B)$ oder
$(A \vee B) \wedge (\neg A \vee \neg B)$ oder
$(A \wedge \neg B) \vee (\neg A \wedge B)$ .

Bedeutung und praktische Anwendung

Die Bedeutung der Kontravalenz ist in der modernen Logik eher gering, „da sie relativ wenige Zusammenhänge zu formulieren gestattet“. In der Schaltalgebra hat sie als XOR-Verknüpfung hingegen große Bedeutung. Die Eigenschaft, dass die zweimalige Anwendung der XOR-Verknüpfung der Identität entspricht, d.h. dass sie selbstinvers ist, wird unter anderem in der Kryptographie – dort ermöglicht sie die Verwendung der gleichen Funktion beim Verschlüsseln und Entschlüsseln – sowie beim RAID-System verwendet.

Siehe auch: Anwendung der XOR-Verknüpfung

Notation und Aussprache

Symbole des Kontravalentors sind unter anderem:

$\dot\lor$
⌴ ein halbes nach oben offenes Quadrat.
XOR
$\nleftrightarrow$
„>-<“
„><“
$\oplus$

Die Sprechweise für den Junktor $A{\dot {\lor }}B$ variiert ebenfalls:

„A kontra B“
„A oder (aber) B“
„Entweder A, oder B“
„A, außer dass B“
„A, ausgenommen dass B“
„A, es sei denn, dass B“
„A genau dann, wenn nicht B“

Umgangssprachlich wird der Kontravalentor mit „entweder – oder“ umschrieben. Doch kann dieser Ausdruck umgangssprachlich auch noch andere Bedeutungen haben, die nicht mit der Kontravalenz übereinstimmen; beispielsweise kann „Dich holen entweder Emil oder ich ab“ auch dann als wahr verstanden werden, wenn beide den Gesprächspartner abholen.

Siehe auch

Aussagenlogik
- Äquivalenz (XNOR-Gatter)
- Negation (Nicht-Gatter)
- Subjunktion (Implikation)
- Konjunktion (Und-Gatter)
- Disjunktion (Oder-Gatter)

Basierend auf einem Artikel in:

Wikipedia.de