Springe zum Inhalt oder Footer
SerloDie freie Lernplattform

4Und (in Arbeit)

Mehrere Aussagen lassen sich durch ein logisches "Und" (Symbol: \wedge) miteinander verknüpfen. Das logische Und bedeutet dabei eigentlich "und gleichzeitig". Damit der Ausdruck als wahr ausgewertet wird, muss also jede der Aussagen wahr sein.

Anders formuliert: Die Aussageverknüpfung ABA\wedge B ist schon falsch, wenn auch nur eine der beiden Aussagen AA und BB falsch ist.

Die Aussageverknüpfung "Und" heißt auch Konjunktion.

Für AA: "5<75<7" und BB: "55 ist ungerade" kann man ABA\wedge B formulieren als "5 ist kleiner als 77 und ungerade". Da AA und BB wahr sind, ist auch ABA\wedge B wahr.

In der Umgangssprache bezeichnet "und" oft eine zeitliche Abfolge:

"Sie trank ihr Glas leer und ging".

Mathematisch bedeutet ABA\wedge B das gleichzeitige Erfülltsein der beiden Aussagen.

Ist AA eine Aussage, dann ist A¬AA\wedge \neg A immer falsch, weil entweder AA oder ¬A\neg A falsch sein muss.

Weitere Beispiele:

  • NQR\mathbb{N}\subset\mathbb{Q}\subset\mathbb{R} ist die (wahre) Aussage (NQ)(QR)(\mathbb{N}\subset\mathbb{Q})\wedge(\mathbb{Q}\subset\mathbb{R})

  • Analog bedeutet 3<π<43<\pi<4 genauer (3<π)(π<4)(3<\pi)\wedge(\pi<4) - eine wahre Aussage, da beide Teile wahr sind.

  • (1<2)(4<3)(1<2)\wedge(4<3) ist falsch, da der zweite Teil falsch ist.

Rechenregeln

Es gilt das Assoziativ- und das Kommutativgesetz:

ABA\wedge B und BAB\wedge A haben denselben Wahrheitswert

(AB)C(A\wedge B)\wedge C und A(BC)A\wedge (B\wedge C) haben denselben Wahrheitswert. Diese Regel überträgt sich natürlich sofort auf mehr als drei Aussagen: Eine Und-Kombination von mehreren Aussagen ist nur dann wahr, wenn alle Aussagen wahr sind. Ist auch nur eine der Aussagen falsch, ist auch die Kombination falsch.


Dieses Werk steht unter der freien Lizenz
CC BY-SA 4.0Was bedeutet das?