Disjunktion - LinkFang.de





Disjunktion


Der Titel dieses Artikels ist mehrdeutig. Weitere Bedeutungen sind unter Disjunktion (Begriffsklärung) aufgeführt.

Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“), und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind:

  1. Die nicht-ausschließende Disjunktion (Alternative, Adjunktion, inklusives Oder, OR) „A oder B (oder beides)“ sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist. Sie ist also nur dann falsch, wenn sowohl A als auch B falsch sind.
  2. Die ausschließende Disjunktion (Kontravalenz, exklusives Oder, XOR) „(entweder) A oder B (aber nicht beides)“ sagt aus, dass genau eine der beiden beteiligten Aussagen wahr ist (wenn die Disjunktion wahr ist). Die ausschließende Disjunktion ist daher falsch, wenn entweder beide beteiligten Aussagen falsch oder wenn beide beteiligten Aussagen wahr sind. Die ausschließende Disjunktion wird auch Kontravalenz genannt und unter diesem Stichwort näher behandelt.
  3. Nur gelegentlich wird auch die nicht-ausschließende Disjunktion der Verneinungen der beteiligten Aussagen als Disjunktion von A und von B bezeichnet, das heißt die Aussage „nicht A oder nicht B (oder beides)“ beziehungsweise äquivalent „nicht (A und B)“. Diese Verbindung wird u.a. Shefferscher Strich, NAND oder Exklusion (im Sinne der Logik) genannt. Sie entspricht dem mengentheoretischen Begriff disjunkt.[1]

Seltener gebrauchte Bezeichnungen für die Disjunktion lauten Alternative, Kontrajunktion, Bisubtraktion und Alternation. Die mehrdeutige Verwendung von „Disjunktion“ etc. ist auf die verschiedenen Rollen des natürlich-sprachlichen oder rückführbar. Die Teilaussagen einer Disjunktion (Adjunktion) werden Disjunkte (Adjunkte) genannt, das die Teilaussagen verknüpfende Wort („oder“) wird als Disjunktor (Adjunktor) genannt.

Nicht-ausschließende Disjunktion

Die nicht-ausschließende Disjunktion (Alternative, Adjunktion) ist eine zusammengesetzte Aussage vom Typ „A oder B (oder beides)“; sie sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist.

Schreibweise
[math] A \or B [/math]

In der polnischen Notation wird für die Disjunktion der Großbuchstabe A verwendet:

Aab

In der Notation [math] A \or B [/math] einer Verknüpfung von Aussagen steht das Symbol [math]\or[/math] (Unicode: U+2228, ∨) für die nicht-ausschließende Disjunktion als aussagenlogischen Junktor. Es ähnelt dem Zeichen [math]\textstyle \cup[/math] für die Vereinigungsmenge und erinnert an den Buchstaben „v“, mit dem das lateinische Wort „vel“ anfängt, das für ein solches nicht-ausschließendes Oder steht.

Die Wahrheitstabelle für die vel-Funktion (OR-Funktion eines Gatters) als Wahrheitswertefunktion der nicht-ausschließenden Disjunktion ist damit:

[math]A[/math] [math]B[/math] [math] A \or B [/math]
wahr wahr wahr
wahr falsch wahr
falsch wahr wahr
falsch falsch falsch

Eine Disjunktion ist ein Boolescher Ausdruck, sie ist assoziativ und kommutativ.

Aus dem Gesagten folgt:

  • Ist A falsch und ist B falsch, so ist die Disjunktion falsch; in jedem anderen Fall ist sie wahr.
  • Ist die Disjunktion falsch, so ist sowohl A als auch B falsch.
  • Ist die Disjunktion wahr, muss eine der folgenden Möglichkeiten vorliegen:
    1. beide Disjunkte sind wahr
    2. A ist falsch und B ist wahr oder
    3. A ist wahr und B ist falsch

Beispiel

Die Aussage „Tom hilft beim Streichen oder Anna hilft beim Streichen“ besteht aus folgenden Teilen:

  • der Teilaussage/dem Disjunkt A: „Tom hilft beim Streichen“
  • dem Disjunktor „oder“, hier nicht ausschließend aufgefasst
  • der Teilaussage/dem Disjunkt B: „Anna hilft beim Streichen“

Keine der beiden Teilaussagen schließt hier die andere aus. Die Aussage ist falsch, wenn weder Tom noch Anna beim Streichen helfen, ansonsten wahr. Sie ist insbesondere auch wahr, wenn sowohl Tom als auch Anna beim Streichen helfen.

ausschließende Disjunktion

Hauptartikel: Kontravalenz

Die ausschließende Disjunktion (Kontravalenz, XOR) ist eine zusammengesetzte Aussage, bei der zwei Aussagen mit der Formulierung „entweder – oder (aber nicht beides)“ verknüpft werden, zum Beispiel die Aussage „Anna studiert entweder Französisch oder sie studiert Spanisch (aber nicht beides).“ Damit ausgeschlossen ist der Fall, dass beide Teilaussagen wahr sind – im Beispiel also der Fall, dass Anna sowohl Französisch als auch Spanisch studiert, – eben hierin besteht der Unterschied zur nicht-ausschließenden Disjunktion. Der lateinische Ausdruck für das ausschließende Oder lautet „aut – aut“.

Die Wahrheitstabelle für die aut-Funktion (XOR-Funktion eines Gatters) als Wahrheitswertefunktion der ausschließenden Disjunktion ist damit:

[math]A[/math] [math]B[/math] [math] A ~ \dot\or ~ B [/math]
wahr wahr falsch
wahr falsch wahr
falsch wahr wahr
falsch falsch falsch

Ableitungen im Kalkül des natürlichen Schließens

[math]\or E:\ \frac{A}{A \or B}\qquad \frac{A}{B \or A}[/math]

Aus einer Aussage A kann die Disjunktion A oder B geschlossen werden.[2][3]

Für die durch die Disjunktion zur bereits gegebenen Aussage A hinzugefügte Aussage B müssen keine vorherigen Voraussetzungen erfüllt sein, wie die folgende Beispielableitung zeigt.[4]

Zeile Aussage Regel
1 [math]P\ [/math] Prämisse
2 [math]P \or Q[/math] 1[math]~\or[/math] (Einführung der Disjunktion)

Zur Auflösung einer Disjunktion muss aus beiden Teilen der Disjunktion dieselbe Aussage hergeleitet werden können.[4]

Zeile Aussage Regel
1 [math](R \wedge Q)\or(\lnot R \wedge Q)[/math] Prämisse
2 [math]R \wedge Q[/math] Annahme
3 [math]Q\ [/math] [math]\wedge B[/math] (Und-Beseitigung)
4 [math]R \wedge Q \rightarrow Q [/math] 2,3 [math]\rightarrow E[/math] (Implikations-Einfügung)
5 [math]\lnot R \wedge Q[/math] Annahme
6 [math]Q\ [/math] 5 [math] \wedge B[/math] (Und-Beseitigung)
7 [math]\lnot R \wedge Q \rightarrow Q [/math] 5,6 [math] \rightarrow E[/math] (Implikations-Einfügung)
8 [math]Q\ [/math] 1,4,7 [math] \wedge B[/math] (Disjunktions-Beseitigung)

(Das Zeichen ∧ in der Tabelle bezeichnet die Konjunktion.)

Siehe auch

Weblinks

Einzelnachweise

  1. Kuno Lorenz: „Disjunktion“, in: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Band 1. Stuttgart: Metzler 1995, ISBN 3-476-02012-6, Seite 491
  2. vgl. Principia Mathematica 1.3
  3. Esther Ramharter, Georg Riekh: Die Principia Mathematica auf den Punkt gebracht. ÖBV hpt, Wien 2006 S. 20
  4. 4,0 4,1 Niko Strobach: Einführung in die Logik. WBG Darmstadt, Darmstadt 2011, 2. Auflage S. 58

Kategorien: Logik

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Disjunktion (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.