Konjunktion (Logik)

Konjunktion (Logik)
Venn-Diagramm von  A \and B
Der Schnitt von Mengen wird über die Konjunktion definiert.
Technische Realisierung der Konjunktion im AND-Gatter: Wenn die Taster E1 und E2 betätigt werden, leuchtet die Lampe.

Als Konjunktion wird in der Logik eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet. Gelesen wird die Konjunktion zweier Aussagen A sowie B meist als „A und B“. In der klassischen Logik ist die Konjunktion zweier Aussagen genau dann wahr, wenn beide verknüpfte Aussagen wahr sind.

Gemeint sein kann mit dem Wort Konjunktion die verknüpfte Aussage als Ganzes (der Satz „A und B“), das Verknüpfungszeichen (Junktor) beziehungsweise -wort „und“, aber auch – im Fall einer wahrheitsfunktionalen Konjunktion – die Wahrheitsfunktion "et", mit der sich der Wahrheitswert der verknüpften Aussage „A und B“ aus den Wahrheitswerten ihrer Teilsätze (A, B) bestimmen lässt.

Inhaltsverzeichnis

Die Konjunktion in der klassischen, zweiwertigen Logik

In der klassischen Logik ist die Konjunktion zweier Aussagen A und B genau dann wahr, wenn sowohl A als auch B wahr sind, und genau dann falsch, wenn mindestens eine der beiden Aussagen A, B falsch ist. Dieser Zusammenhang wird anschaulich in der Wahrheitstabelle der entsprechenden Wahrheitswertefunktion, der et-Funktion:
(1 steht für den Wert "wahr", 0 steht für den Wert "falsch")

A B  A \land B
1 1 1
1 0 0
0 1 0
0 0 0

Gebräuchliche Schreibweisen für die Konjunktion sind {A \land B}, „A & B“, „A ▪ B“, „A ∩ B“ (Peano) und „AB“. In der polnischen Notation wird die Konjunktion als „Kab“ geschrieben.

Eine Konjunktion selbst ist ein Boolescher Ausdruck. In der Digitaltechnik werden konjunktiv verknüpfte Variablen auch Produktterm genannt.

Für die Konjunktion gelten unter anderem folgende wichtige Gesetze:

\neg {(A \land B)} = \neg{A} \lor \neg{B}
\neg {(A \lor B)} = \neg{A} \land \neg{B}

In Kalkülen des natürlichen Schließens werden als Schlussregeln für die Konjunktion die Konjunktionseinführung und die Konjunktionsbeseitigung verwendet. Mit der Konjunktionseinführung lässt sich aus zwei Aussagen A, B auf deren Konjunktion {A \land B} schließen; mit der Konjunktionsbeseitigung lässt sich aus der Konjunktion {A \land B} auf jedes der Konjunkte A beziehungsweise B schließen.

Die Konjunktion in mehrwertigen Logiken

Beim Aufstellen einer mehrwertigen Konjunktion bemüht man sich im allgemeinen, möglichst viele Eigenschaften der klassischen Konjunktion beizubehalten, insbesondere die Assoziativität und Kommutativität. Damit kann eine mehrwertige Konjunktion axiomatisch folgendermaßen definiert werden:

T(A,B) ist eine Konjunktion wenn gilt:

  • Kommutativität: T(A,B) = T(B,A)
  • Assoziativität: T(A,(T(B,C)) = T(T(A,B),C)
  • Monotonie: A > B \Rightarrow T(A,C) \ge T(B,C)
  • Einselement: T(1,A) = A

Weitere sinnvolle, aber nicht notwendige Eigenschaften sind Stetigkeit und Idempotenz.

In dreiwertigen Logiken wurden beispielsweise folgende Konjunktionen aufgestellt:

Konjunktion in der dreiwertigen Logik Ł3 von Jan Łukasiewicz (1920)
A B A \land B
1 1 1
1 0,5 0,5
1 0 0
0,5 1 0,5
0,5 0,5 0,5
0,5 0 0
0 1 0
0 0,5 0
0 0 0
Konjunktion in der dreiwertigen Logik B3 von Dimitri Analtoljewitsch Bočvar (1938)
A B A \land B
1 1 1
1 0,5 0,5
1 0 0
0,5 1 0,5
0,5 0,5 0,5
0,5 0 0,5
0 1 0
0 0,5 0,5
0 0 0

Die Konjunktion und das Wort „und“

Das natürlichsprachliche Wort „und“ ist nicht mit der Konjunktion im Sinn der Logik identisch: Einerseits wird das Wort „und“ nicht immer im Sinn der logischen Konjunktion verwendet, andererseits kann die Konjunktion auch durch andere sprachliche Mittel ausgedrückt werden.

Neben der logischen Konjunktion wird das natürlichsprachliche Wort „und“ zum Beispiel verwendet, um ein zeitliches Nacheinander („und dann“, Beispiel: „Ich aß und ging (dann) nach Hause.“) und sogar eine kausale Beziehung („und deshalb“, Beispiel: „Der Patient nahm das Medikament und wurde (deshalb) gesund“) auszudrücken. – Umgekehrt drückt beispielsweise „aber“ im Allgemeinen eine Konjunktion aus. Die Sätze „Es ist Frühling, und es regnet.“ und „Es ist Frühling, aber es regnet.“ sind aussagenlogisch gleichwertig.

Siehe auch


Wikimedia Foundation.

См. также в других словарях:

  • Konjunktion (Begriffsklärung) — Konjunktion (v. lat.: con = zusammen + iungere = verbinden; PPP coniunctum) bezeichnet: in der Grammatik ein Bindewort, das Sätze oder Satzglieder miteinander verbindet, siehe Konjunktion in der Astronomie eine Konstellation von Himmelskörpern,… …   Deutsch Wikipedia

  • Konjunktion — (v. lat. coniunctum; v. con ‚zusammen‘ + iungere ‚verbinden‘) steht für: Konjunktion (Wortart), in der Grammatik ein Bindewort, das Sätze oder Satzglieder miteinander verbindet Konjunktion (Logik), in der Logik eine Verknüpfung von Aussagen… …   Deutsch Wikipedia

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Konjunktion (Wortart) — Der Ausdruck Konjunktion (v. lateinisch con iungere ‚verbinden‘; auch: Bindewort; Verknüpfungszeichen[1]; Junktion[2]) bezeichnet in der Grammatik eine Wortart, genauer eine nicht veränderbare (nicht flektierbare) Wortart (Partikel (im… …   Deutsch Wikipedia

  • Konjunktion — Bindewort * * * Kon|junk|ti|on 〈f. 20〉 1. 〈Gramm.〉 Wort, das zwei Sätze od. Satzteile verbindet, z. B. und, weil; Sy Bindewort; → Lexikon der Sprachlehre 2. 〈Astron.〉 Stellung zweier Himmelskörper in einer Raumrichtung bzgl. zur Erde 3. 〈Math.〉… …   Universal-Lexikon

  • Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

  • Konjunktion — Kon|junk|ti|on 〈f.; Gen.: , Pl.: en〉 1. 〈Gramm.〉 Wort, das zwei Sätze od. Satzteile verbindet, Bindewort, z. B. und, weil; koordinierende, subordinierende Konjunktion 2. 〈Logik〉 Aussagenverbindung, die nur dann wahr ist, wenn die miteinander… …   Lexikalische Deutsches Wörterbuch

  • Konjunktion — Kon|junk|ti|on die; , en <aus lat. coniunctio »Verbindung«>: 1. neben od. unterordnendes Bindewort (z. B. und, obwohl; Sprachw.). 2. das Zusammentreffen mehrerer Planeten im gleichen Tierkreiszeichen (Astrol.). 3. Stellung zweier Gestirne… …   Das große Fremdwörterbuch

  • Oder (Konjunktion) — Der Ausdruck Konjunktion (v. lat.: con iungere „zusammenspannen“; auch: Bindewort; Verknüpfungszeichen[1]; Junktion[2]) bezeichnet in der Grammatik eine Wortart, genauer eine nicht veränderbare (nicht flektierbare) Wortart (Partikel (im weiteren… …   Deutsch Wikipedia

  • Und (Konjunktion) — Der Ausdruck Konjunktion (v. lat.: con iungere „zusammenspannen“; auch: Bindewort; Verknüpfungszeichen[1]; Junktion[2]) bezeichnet in der Grammatik eine Wortart, genauer eine nicht veränderbare (nicht flektierbare) Wortart (Partikel (im weiteren… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»