Logisches Und

Logisches Und
Technische Realisierung: Wenn die Taster E1 und E2 gleichzeitig 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, 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. Veranschaulicht wird das durch folgende Wahrheitstabelle:

a b  a \land b
wahr wahr wahr
wahr falsch falsch
falsch wahr falsch
falsch falsch falsch

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.

Siehe auch


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • logisches »Und« — logisches »Und«,   And …   Universal-Lexikon

  • logisches UND-Gatter — loginis IR elementas statusas T sritis automatika atitikmenys: angl. AND gate; AND logic element vok. logisches UND Gatter, n; logisches UND Glied, n rus. логический элемент И, m pranc. élément de logique ET, m; élément ET, m; porte ET, m ryšiai …   Automatikos terminų žodynas

  • logisches UND-Glied — loginis IR elementas statusas T sritis automatika atitikmenys: angl. AND gate; AND logic element vok. logisches UND Gatter, n; logisches UND Glied, n rus. логический элемент И, m pranc. élément de logique ET, m; élément ET, m; porte ET, m ryšiai …   Automatikos terminų žodynas

  • logisches UND-NOR-Gatter — loginis IR NE ARBA elementas statusas T sritis automatika atitikmenys: angl. AND NOR gate vok. logisches UND NOR Gatter, n rus. логический элемент И НЕ ИЛИ, m pranc. élément ET OU NON, m; porte ET OU NON, f …   Automatikos terminų žodynas

  • logisches Laufwerk — logisches Laufwerk,   eine als Laufwerk behandelte Komponente, die nicht in der Art physikalisch vorhanden ist, wie sie gehandhabt wird. Oft ist damit ein bestimmter Bereich einer Festplatte gemeint, eine sog. Partition, die vom Betriebssystem… …   Universal-Lexikon

  • logisches Quadrat — logisches Quadrat,   eine Figur, die das logische Verhältnis der vier Arten von Urteilen zueinander darstellt, die in der traditionellen Syllogistik betrachtet werden. Diese Arten ergeben sich durch die Kombination der Unterscheidungen zwischen… …   Universal-Lexikon

  • logisches Symbol — logisches Symbol,   ein Symbol, das einen logischen Operator darstellt. Das Symbol »+« in der booleschen Algebra stellt z. B. das logische »Oder« dar; verknüpft es zwei Ausdrücke A, B, bedeutet »A + B« nun A oder B (und nicht etwa A plus …   Universal-Lexikon

  • Logisches Laufwerk — Dieser Artikel behandelt Partitionen von Datenträgern mit Master Boot Record. Das Extensible Firmware Interface verwendet beispielsweise auch GPT basierte Partitionen. Unter einer Partition (lat. Partitio = „(Ein)teilung“) versteht man einen… …   Deutsch Wikipedia

  • Logisches Quadrat — Die Syllogismen (von altgr.: συλ λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des… …   Deutsch Wikipedia

  • Logisches Schreibverfahren — Als Schreibverfahren bezeichnet man ein Verfahren zum Schreiben von Daten auf einem Datenträger. Logisches Schreibverfahren Ein logisches Schreibverfahren ist bei Datenträgern die Art der Kodierung, die vor dem physikalischen Schreiben auf den… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”