Kontravalenz

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von XOR)
Venn-Diagramm von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\;\!\!\dot\cup\;\;\!\!B}
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.

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, wenn also entweder die eine oder die andere wahr ist, aber nicht beide zugleich wahr oder beide zugleich 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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 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 gelten immer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\dot\lor\;B = B\;\dot\lor\;A} sowie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A\;\dot\lor\;B)\;\dot\lor\;C = A\;\dot\lor\;(B\;\dot\lor\;C)} .
  • Es gilt immer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \land (B\;\;\!\!\dot\lor\;\;\!\!C) = (A \land B)\;\;\!\!\dot\lor\;\;\!\!(A \land C)} ,
  • jedoch gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \lor (B\;\;\!\!\dot\lor\;\;\!\!C) = (A \lor B)\;\;\!\!\dot\lor\;\;\!\!(A \lor C)} nur, falls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} falsch ist.
  • Sie ist selbstinvers wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\dot\lor\;B\;\dot\lor\;B = A} .
  • Daraus folgt, dass das Ergebnis verknüpft mit einem Operanden den anderen Operanden ergibt: Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\dot\lor\;B\ = C} , sind und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\dot\lor\;C\ = B} .

Abgrenzung und Gemeinsamkeiten

Der Unterschied zum nicht-ausschließenden Oder (im engeren Sinn die Disjunktion) besteht in der „verschärften Information“[6], dass „von vornherein feststeht, dass eine der beiden Alternativen wahr sein muss“,[7] doch nicht beide zugleich wahr sind, also nicht nur wenigstens, sondern auch höchstens einer der beiden Sachverhalte besteht.[6]

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

  • Negation des Bikonditionals (Negation der Äquivalenz) [8]
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A \vee B) \wedge \neg (A \wedge B)} oder
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A \vee B) \wedge (\neg A \vee \neg B)} oder
  • .

Bedeutung und praktische Anwendung

Die Bedeutung der Kontravalenz ist in der modernen Logik eher gering, „da sie relativ wenige Zusammenhänge zu formulieren gestattet“.[9] 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.

Notation und Aussprache

Symbole des Kontravalentors sind unter anderem:

  • ⌴ ein halbes nach oben offenes Quadrat.[10]
  • XOR
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \nleftrightarrow}
  • „>-<“
  • „><“
  • Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \oplus}

Die Sprechweise für den Junktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A\;\;\!\!\dot\lor\;\;\!\!B} variiert ebenfalls:

  • „A kontra B“[11]
  • „A oder (aber) B“[6]
  • „Entweder A, oder B“[12][13]
  • „A, außer dass B“[14]
  • „A, ausgenommen dass B“[14]
  • „A, es sei denn, dass B“[14]
  • „A genau dann, wenn nicht B“[15]

Gemeinsprachlich wird der Kontravalentor mit „entweder – oder“ umschrieben.[16]

Siehe auch

Einzelnachweise

  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
  6. ↑ a b c Essler/Martínez: Grundzüge der Logik I, 4. Aufl. (1991), S. 51
  7. ↑ Schülerduden, Philosophie, 2. Aufl. (2002), Disjunktion
  8. ↑ Hilbert/Ackermann: Grundzüge, 6. Aufl. (1972), S. 6; Reichenbach: Grundzüge der symbolischen Logik (1999), S. 33
  9. ↑ Essler/Martínez: Grundzüge der Logik I, 4. Aufl. (1991), S. 98 Fn. 33
  10. ↑ Lorenzen: Logik. 4. Aufl. (1970), S. 39.
  11. ↑ Menne: Logik, 6. Aufl. (2001), S. 39
  12. ↑ Essler/Martínez: Grundzüge der Logik I, 4. Aufl. (1991), S. 51
  13. ↑ Detel: Grundkurs Philosophie I: Logik (2007), S. 71
  14. ↑ a b c Wilhelm K. Essler: Einführung in die Logik (= Kröners Taschenausgabe. Band 381). 2., erweiterte Auflage. Kröner, Stuttgart 1969, DNB 456577998, S. 96.
  15. ↑ Spies: Einführung in die Logik (2004), S. 13.
  16. ↑ Rosenkranz: Einführung in die Logik (2006), S. 81.
Abgerufen von „https://de.wikiup.org/index.php?title=Kontravalenz&oldid=224799776“