Benutzer-Werkzeuge

Kontravalenz

Bezeichnet eine exklusive Disjunktion (oder-Verknüpfung). Die Kontravalenz kann umschrieben werden als „entweder A oder B, aber nicht beides“.

Zum Beispiel:

Zum Nachtisch gibt es Obstsalat oder Eis [aber nicht beides].

Andere Namen

  • Exklusives „oder“

Beschreibung

Eine Kontravalenz ist eine Aussage, die dann wahr ist, wenn genau einer der beiden Teilaussagen wahr ist, also in diesem Fall, wenn es Obst zum Nachtisch gibt oder wenn es Eis gibt. Anders als bei der Adjunktion (inklusive Disjunktion) ist der Gesamtausdruck nicht wahr, wenn beide Teilaussagen wahr sind, also wenn es beides, Eis und Obst gemeinsam gäbe.

A B A ⊻ B
wahr wahr falsch
wahr falsch wahr
falsch wahr wahr
falsch falsch falsch

Umgangssprachlicher Gebrauch

Obwohl es im Deutschen kein eigenes Wort für ein exklusives „oder“ gibt, versucht man oft durch Kon­struk­tionen wie „entweder … oder …“ diese Bedeutung klar zu stellen. Dies ist aber oft unbefriedigend, da es zum einen recht umständlich ist und zum anderen nicht genau die Bedeutung des logischen Ausdruckes abbildet.

Obwohl es im Englischen eigentlich auch nur das unbestimmte „or “ gibt, wird gelegentlich – vor allem in der Schrift­sprache – das aus der Computertechnik stammende Kunstwort „xor“ verwendet.

Im Lateinischen steht das Wort „aut“ für ein exklusives „oder“. Auch dieser Ausdruck wird gelegentlich als Bezeichnet für die Kontravalenz benutzt.

Logisches Symbol

Auf dieser Website wird das Symbol für Kontravalenz verwendet. Anderswo kann man auch oder finden. Diese Symbole werden als „aut  “ ausgesprochen.

Auch der Begriff „xor“ wird gelegentlich verwendet (gesprochen: „ex-or  “).

Siehe auch

Weitere Informationen

Über diese Site

Ad Hominem Info ist ein Projekt, die häufigsten Irr­tümer und Trug­schlüsse zu erklären und zu kate­gori­sieren. Auf dieser Seite finden sie einen Hinter­grund­artikel, der ein wichtiges Konzept aus dem Bereich „Logik“, welches zum Ver­­ständnis von anderen Artikel nötig ist, kurz erklärt.
Für mehr In­for­ma­tionen, siehe die Haupt­kategorie  Logik.

Diese Website verwendet Cookies. Durch die Nutzung der Web­site stimmen Sie dem Speichern von Cookies auf Ihrem Com­pu­ter zu. Außer­dem bestät­igen Sie, dass Sie unsere Daten­schutz­bestimm­ungen gelesen und ver­standen haben. Wenn Sie nicht ein­ver­standen sind, bitte ver­lassen Sie die Web­site.

Weitere Information