Mathematik3Lerneinheiten21minStand18.06.2026

Aussagenlogik.

Fachliche Qualität

Noch nicht klassifiziertNoch nicht geprüft.

Diese Lerneinheit wurde für typische Bachelor-Klausuren konzipiert. So prüfen wir · Fehler entdeckt? Melde ihn uns oder markiere die fragliche Stelle direkt im Text oben.

Klausur-ÜbersichtKomplette Übersicht: alle Tabs als linearer Text zum Lernen

Alle Tabs der Lerneinheit (Erklärung · Interaktiv · Quiz) als durchgehender Text. Ideal zum Wiederholen vor der Klausur, und für Suchmaschinen wie Google, Bing und KI-Suche (ChatGPT, Perplexity).

Teil 1·Erklärung

Erklärung

Eine Aussage ist ein Satz der entweder wahr oder falsch ist, ohne Zwischenstufen. Aussagenlogik kombiniert solche Aussagen mit Operatoren (UND, ODER, NICHT) und prüft welche zusammengesetzten Sätze immer wahr sind. Pflichtthema in Mathe für Informatiker und Diskrete Mathematik.

Zur KategorieMathematik.Mehr Themen entdeckenZum Themen-Hub.

Aussagenlogik, Mathematik · UniProMax

Die Operatoren die du in der Klausur können musst:

NICHT (¬): aus wahr wird falsch und umgekehrt
UND (∧): nur wahr wenn beide wahr sind
ODER (∨): wahr wenn mindestens eine wahr ist
Implikation (→): A → B ist nur falsch wenn A wahr und B falsch (häufige Falle)
Äquivalenz (↔): wahr wenn A und B den gleichen Wahrheitswert haben
Wahrheitstabelle: alle möglichen Wahrheitswert-Kombinationen mit Ergebnis

In Klausuren wirst du oft gefragt: stelle die Wahrheitstabelle für diesen Ausdruck auf oder zeige dass A ⇒ B äquivalent zu ¬A ∨ B ist. Plus die Standard-Begriffe: Tautologie (immer wahr), Kontradiktion (immer falsch), Erfüllbarkeit (mindestens eine wahre Belegung).

Eine Aussage ist ein Satz, der entweder wahr oder falsch ist. Mehr nicht.

"Berlin ist die Hauptstadt von Deutschland"  → wahr
"5 ist größer als 10"                        → falsch
"Heute scheint die Sonne"                    → kann wahr oder falsch sein
"Schließ bitte die Tür"                      → KEINE Aussage (Befehl)
"Wie spät ist es?"                           → KEINE Aussage (Frage)

Aussagenlogik beschäftigt sich nur mit dem Wahrheitswert, nicht mit dem Inhalt.

In der Logik schreiben wir Aussagen kurz als Variablen: $A$ , $B$ , $C$ . Jede Variable hat einen Wert: W (wahr) oder F (falsch).

Genau wie wir mit Zahlen rechnen können (+, −, ×, ÷), gibt es logische Operatoren für Aussagen:

Symbol	Name	Sprich
$\neg A$	Negation	"nicht A"
$A \wedge B$	Konjunktion	"A und B"
$A \vee B$	Disjunktion	"A oder B"
$A \to B$	Implikation	"wenn A, dann B"
$A \leftrightarrow B$	Biimplikation	"A genau dann wenn B"

Jeder Operator wird durch eine Wahrheitstabelle definiert.

Macht aus wahr falsch und umgekehrt.

A	¬A
W	F
F	W

Beispiel: "Es regnet." → ¬"Es regnet" = "Es regnet nicht."

Wahr genau dann, wenn beide wahr sind.

A	B	A ∧ B
W	W	W
W	F	F
F	W	F
F	F	F

Beispiel: "Es regnet UND es ist kalt.", nur wahr wenn beides zutrifft.

Wahr wenn mindestens eine wahr ist. Achtung: in der Mathematik ist "oder" ein inklusives oder, beide dürfen wahr sein!

A	B	A ∨ B
W	W	W
W	F	W
F	W	W
F	F	F

Beispiel: "Du nimmst Kaffee oder Tee." Mathematisch: beides ist auch erlaubt. Im Alltag meinen wir oft "entweder oder" (XOR), das ist ein anderer Operator.

"Wenn A, dann B." Hier wird's interessant, und Klausurfallen gibt es viele.

A	B	A → B
W	W	W
W	F	F
F	W	W
F	F	W

Was zur Hölle? A falsch → B → trotzdem wahr?

Lass uns das langsam angehen. Stell dir vor du sagst: "Wenn es regnet, dann nehme ich einen Schirm." (A = "es regnet", B = "ich nehme Schirm")

Es regnet (A wahr) und du nimmst Schirm (B wahr) → Aussage wahr ✓
Es regnet (A wahr) aber du nimmst keinen Schirm (B falsch) → Aussage falsch, du hast gelogen ✗
Es regnet nicht (A falsch) und du nimmst trotzdem Schirm (B wahr) → Aussage nicht widerlegt, also wahr ✓
Es regnet nicht (A falsch) und du nimmst keinen Schirm (B falsch) → Aussage nicht widerlegt, also wahr ✓

Eine Implikation ist nur dann falsch, wenn die Voraussetzung wahr und die Folgerung falsch ist.

Mit anderen Worten: Wenn $A$ falsch ist, wird die Wenn-dann-Aussage gar nicht erst geprüft, sie kann nicht "verletzt" werden. Deshalb gilt $A \to B$ in der klassischen Aussagenlogik als wahr. Das nennt man vakuose Wahrheit. (Nicht zu verwechseln mit ex falso quodlibet, das ist eine Inferenzregel der klassischen Logik, die besagt, dass aus einem Widerspruch jede Aussage abgeleitet werden kann; ein anderes Konzept.)

"A genau dann, wenn B." Beide müssen den gleichen Wahrheitswert haben.

A	B	A ↔ B
W	W	W
W	F	F
F	W	F
F	F	W

Beispiel: "Du bekommst eine 1, genau dann wenn du 90+ Punkte hast." Wahr nur wenn beide zutreffen oder beide nicht.

Jede Formel ist entweder erfüllbar (mindestens eine wahre Belegung) oder unerfüllbar / Widerspruch (keine wahre Belegung). Erfüllbare Formeln zerfallen weiter in zwei Klassen:

Tautologie (Spezialfall einer erfüllbaren Formel)

Eine Formel die immer wahr ist, egal welche Werte die Variablen haben. Wahrheitstabelle: nur W in der Endspalte.

Beispiel: $A \vee \neg A$ ("entweder A ist wahr, oder es ist nicht wahr"), kommt immer hin.

A	¬A	A ∨ ¬A
W	F	W
F	W	W

Kontingente Formel

Eine Formel die mindestens eine wahre und mindestens eine falsche Belegung hat, also weder Tautologie noch Widerspruch. Die meisten Alltags-Formeln sind kontingent.

Widerspruch / Unerfüllbar

Eine Formel die nie wahr ist. Wahrheitstabelle: nur F.

Beispiel: $A \wedge \neg A$ ("A ist wahr UND nicht wahr"), geht nie.

Faustregel: Tautologie = immer W. Widerspruch = immer F. Kontingent = mindestens ein W und mindestens ein F. Erfüllbar = mindestens ein W (umfasst Tautologie und kontingente Formeln).

Die kennst du schon aus der Mengenlehre. In der Logik:

$\neg(A \wedge B) \equiv \neg A \vee \neg B$ $\neg(A \vee B) \equiv \neg A \wedge \neg B$

Lies: "Negation eines UND ist gleich dem ODER der Negationen."

In Worten: "Es ist nicht der Fall, dass A UND B beide wahr sind" ist dasselbe wie "Mindestens eines von beiden ist falsch."

Das $\equiv$ -Zeichen heißt logisch äquivalent, die zwei Formeln haben in jeder Wahrheitstabelle die exakt gleichen Endspalten.

Programmieren: if, while, &&, ||, ! sind direkte Übersetzungen
Datenbanken: SQL WHERE-Klauseln nutzen logische Operatoren
Schaltkreise: AND-, OR-, NOT-Gatter sind die Hardware-Versionen
Beweistechniken: Mathematische Beweise nutzen Implikation und Biimplikation
KI / Expertensysteme: Regeln werden als Implikationen formuliert

Trick 1: Implikation hat 4 Zeilen, davon 3 wahre und nur 1 falsche. Die einzige falsche: A wahr, B falsch.

Trick 2: $A \to B$ ist äquivalent zu $\neg A \vee B$ . Wenn du eine Implikation in andere Operatoren umschreiben sollst:

$A \to B \equiv \neg A \vee B$

Trick 3: Kontraposition. $A \to B$ ist äquivalent zu $\neg B \to \neg A$ .

"Wenn es regnet, ist die Straße nass"
  ≡ "Wenn die Straße nicht nass ist, regnet es nicht"

Wird in Klausuren oft gefragt: "schreibe diese Implikation als Kontraposition um."

Trick 4: Bei mehr als 2 Variablen wird die Wahrheitstabelle größer. Bei $n$ Variablen: $2^n$ Zeilen.

2 Variablen: 4 Zeilen
3 Variablen: 8 Zeilen
4 Variablen: 16 Zeilen

Trick 5: Kompakte Schreibweise von Wahrheitswerten:

Wahr: 1, W, T (für true), ⊤
Falsch: 0, F, ⊥

In Klausuren wird oft 0/1 verwendet, leichter zu schreiben.

Wähle unten eine Formel und sieh ihre Wahrheitstabelle live. Der Status oben sagt dir sofort, ob es eine Tautologie (immer W), ein Widerspruch (immer F) oder erfüllbar (mindestens ein W) ist.

Probier folgendes:

A ∧ B: nur in 1 von 4 Zeilen wahr (Konjunktion ist streng)
A ∨ B: in 3 von 4 Zeilen wahr (Disjunktion ist großzügig)
A → B: nur in 1 Zeile falsch (W → F), überrascht oft!
A ∨ ¬A: Tautologie, alle 4 Zeilen wahr
A ∧ ¬A: Widerspruch, alle 4 Zeilen falsch
Vergleich ¬(A ∧ B) und ¬A ∨ ¬B: identische Endspalten, De Morgan!

Lade Visualisierung...

Faustregel zum Mitnehmen: Wahrheitstabellen sind das Lineal der Logik. Wenn du nicht sicher bist ob zwei Formeln äquivalent sind, mach Wahrheitstabellen, sind die Endspalten identisch, sind sie äquivalent.

Anmelden, um den Fortschritt zu speichern.

Nächster Schritt

Wenn du fertig bist: jetzt üben.

Aktives Abrufen festigt Wissen schneller als nochmal lesen.

"Berlin ist die Hauptstadt von Deutschland"  → wahr
"5 ist größer als 10"                        → falsch
"Heute scheint die Sonne"                    → kann wahr oder falsch sein
"Schließ bitte die Tür"                      → KEINE Aussage (Befehl)
"Wie spät ist es?"                           → KEINE Aussage (Frage)

Negation: ¬A

Macht aus wahr falsch und umgekehrt.

A	¬A
W	F
F	W

Beispiel: "Es regnet." → ¬"Es regnet" = "Es regnet nicht."

Konjunktion (UND): A ∧ B

Wahr genau dann, wenn beide wahr sind.

A	B	A ∧ B
W	W	W
W	F	F
F	W	F
F	F	F

Beispiel: "Es regnet UND es ist kalt.", nur wahr wenn beides zutrifft.

Disjunktion (ODER): A ∨ B

Wahr wenn mindestens eine wahr ist. Achtung: in der Mathematik ist "oder" ein inklusives oder, beide dürfen wahr sein!

A	B	A ∨ B
W	W	W
W	F	W
F	W	W
F	F	F

Beispiel: "Du nimmst Kaffee oder Tee." Mathematisch: beides ist auch erlaubt. Im Alltag meinen wir oft "entweder oder" (XOR), das ist ein anderer Operator.

Implikation: A → B

"Wenn A, dann B." Hier wird's interessant, und Klausurfallen gibt es viele.

A	B	A → B
W	W	W
W	F	F
F	W	W
F	F	W

Was zur Hölle? A falsch → B → trotzdem wahr?

Lass uns das langsam angehen. Stell dir vor du sagst: "Wenn es regnet, dann nehme ich einen Schirm." (A = "es regnet", B = "ich nehme Schirm")

Es regnet (A wahr) und du nimmst Schirm (B wahr) → Aussage wahr ✓
Es regnet (A wahr) aber du nimmst keinen Schirm (B falsch) → Aussage falsch, du hast gelogen ✗
Es regnet nicht (A falsch) und du nimmst trotzdem Schirm (B wahr) → Aussage nicht widerlegt, also wahr ✓
Es regnet nicht (A falsch) und du nimmst keinen Schirm (B falsch) → Aussage nicht widerlegt, also wahr ✓

Eine Implikation ist nur dann falsch, wenn die Voraussetzung wahr und die Folgerung falsch ist.

Mit anderen Worten: Wenn A falsch ist, wird die Wenn-dann-Aussage gar nicht erst geprüft, sie kann nicht "verletzt" werden. Deshalb gilt A → B in der klassischen Aussagenlogik als wahr. Das nennt man vakuose Wahrheit. (Nicht zu verwechseln mit ex falso quodlibet, das ist eine Inferenzregel der klassischen Logik, die besagt, dass aus einem Widerspruch jede Aussage abgeleitet werden kann; ein anderes Konzept.)

Biimplikation: A ↔ B

"A genau dann, wenn B." Beide müssen den gleichen Wahrheitswert haben.

A	B	A ↔ B
W	W	W
W	F	F
F	W	F
F	F	W

Beispiel: "Du bekommst eine 1, genau dann wenn du 90+ Punkte hast." Wahr nur wenn beide zutreffen oder beide nicht.

Drei wichtige Begriffe

Jede Formel ist entweder erfüllbar (mindestens eine wahre Belegung) oder unerfüllbar / Widerspruch (keine wahre Belegung). Erfüllbare Formeln zerfallen weiter in zwei Klassen:

Tautologie (Spezialfall einer erfüllbaren Formel)

Eine Formel die immer wahr ist, egal welche Werte die Variablen haben. Wahrheitstabelle: nur W in der Endspalte.

Beispiel: A vee neg A ("entweder A ist wahr, oder es ist nicht wahr"), kommt immer hin.

A	¬A	A ∨ ¬A
W	F	W
F	W	W

Kontingente Formel

Eine Formel die mindestens eine wahre und mindestens eine falsche Belegung hat, also weder Tautologie noch Widerspruch. Die meisten Alltags-Formeln sind kontingent.

Widerspruch / Unerfüllbar

Eine Formel die nie wahr ist. Wahrheitstabelle: nur F.

Beispiel: A wedge neg A ("A ist wahr UND nicht wahr"), geht nie.

Faustregel: Tautologie = immer W. Widerspruch = immer F. Kontingent = mindestens ein W und mindestens ein F. Erfüllbar = mindestens ein W (umfasst Tautologie und kontingente Formeln).

De Morgansche Regeln (logische Variante)

Die kennst du schon aus der Mengenlehre. In der Logik:

neg(A wedge B) ≡ neg A vee neg B neg(A vee B) ≡ neg A wedge neg B

Lies: "Negation eines UND ist gleich dem ODER der Negationen."

In Worten: "Es ist nicht der Fall, dass A UND B beide wahr sind" ist dasselbe wie "Mindestens eines von beiden ist falsch."

Das ≡-Zeichen heißt logisch äquivalent, die zwei Formeln haben in jeder Wahrheitstabelle die exakt gleichen Endspalten.

Wo brauchst du Aussagenlogik?

Programmieren: if, while, &&, ||, ! sind direkte Übersetzungen
Datenbanken: SQL WHERE-Klauseln nutzen logische Operatoren
Schaltkreise: AND-, OR-, NOT-Gatter sind die Hardware-Versionen
Beweistechniken: Mathematische Beweise nutzen Implikation und Biimplikation
KI / Expertensysteme: Regeln werden als Implikationen formuliert

Klausur-Tricks

Trick 1: Implikation hat 4 Zeilen, davon 3 wahre und nur 1 falsche. Die einzige falsche: A wahr, B falsch.

Trick 2: A → B ist äquivalent zu neg A vee B. Wenn du eine Implikation in andere Operatoren umschreiben sollst:

A → B ≡ neg A vee B

Trick 3: Kontraposition. A → B ist äquivalent zu neg B → neg A.

"Wenn es regnet, ist die Straße nass"
  ≡ "Wenn die Straße nicht nass ist, regnet es nicht"

Wird in Klausuren oft gefragt: "schreibe diese Implikation als Kontraposition um."

Trick 4: Bei mehr als 2 Variablen wird die Wahrheitstabelle größer. Bei n Variablen: 2ⁿ Zeilen.

2 Variablen: 4 Zeilen
3 Variablen: 8 Zeilen
4 Variablen: 16 Zeilen

Trick 5: Kompakte Schreibweise von Wahrheitswerten:

Wahr: 1, W, T (für true), ⊤
Falsch: 0, F, ⊥

In Klausuren wird oft 0/1 verwendet, leichter zu schreiben.

Teil 3·Quiz / Klausurfragen

Quiz

Klausurfragen mit Lösungen (8)

F1.Welche der folgenden ist KEINE Aussage im Sinne der Aussagenlogik?

Antwort: Schließ bitte die Tür

Erklärung: Aussagen müssen einen Wahrheitswert haben (wahr oder falsch). Befehle, Fragen und Wünsche sind keine Aussagen. 'Schließ die Tür' ist ein Befehl.

F2.Wann ist A wedge B wahr?

Antwort: Nur wenn beide wahr sind

Erklärung: Konjunktion (UND) ist nur wahr wenn BEIDE Operanden wahr sind. In allen anderen 3 Fällen ist sie falsch.

F3.Wann ist A → B falsch?

Antwort: Wenn A wahr und B falsch ist

Erklärung: Die Implikation ist nur in einem einzigen Fall falsch: A wahr und B falsch ('aus Wahrem kann nichts Falsches folgen'). In den anderen 3 Zeilen ist sie wahr.

F4.Was bedeutet, dass eine Formel eine Tautologie ist?

Antwort: Sie ist immer wahr, egal welche Werte die Variablen haben

Erklärung: Eine Tautologie ist eine logische Konstante, immer wahr. Die Wahrheitstabelle hat nur W in der Endspalte. Klassisches Beispiel: A ∨ ¬A.

F5.Welches ist die De Morgansche Regel?

Antwort: `neg(A wedge B) ≡ neg A vee neg B`

Erklärung: Die De Morgansche Regel: 'Negation der Konjunktion = Disjunktion der Negationen.' Beim Hineinziehen des ¬-Strichs wird ∧ zu ∨ und umgekehrt. Option C ist die Kontraposition (auch wichtig, aber etwas anderes).

F6.Welche Formel ist äquivalent zu A → B?

Antwort: `neg A vee B`

Erklärung: A → B ≡ ¬A ∨ B. Wahrheitstabelle vergleichen: beide haben W,F,W,W. Die Implikation kann immer in OR + NOT übersetzt werden.

F7.Wie viele Zeilen hat die Wahrheitstabelle für eine Formel mit 3 Variablen?

Antwort: 8

Erklärung: Bei n Variablen gibt es 2ⁿ Kombinationen. Bei n=3: 2³ = 8 Zeilen. Pro Variable doppelt sich die Anzahl, weil jede 2 mögliche Werte hat.

Typ: Zahlen-Eingabe

F8.Welche Formel ist ein Widerspruch (immer falsch)?

Antwort: `A wedge neg A`

Erklärung: A ∧ ¬A ist nie wahr, A kann nicht gleichzeitig wahr und falsch sein. A ∨ ¬A ist dagegen eine Tautologie (immer wahr). A → A und A ↔ A sind ebenfalls Tautologien.

Aussagenlogik.

Erklärung

Aussagenlogik.

Erklärung

Was ist eine Aussage?

Die fünf Verknüpfungen

Negation: ¬A

Konjunktion (UND): A ∧ B

Disjunktion (ODER): A ∨ B

Implikation: A → B

Biimplikation: A ↔ B

Drei wichtige Begriffe

Tautologie (Spezialfall einer erfüllbaren Formel)

Kontingente Formel

Widerspruch / Unerfüllbar

De Morgansche Regeln (logische Variante)

Wo brauchst du Aussagenlogik?

Klausur-Tricks

Wahrheitstabellen-Spielwiese

Wenn du fertig bist: jetzt üben.

Was ist eine Aussage?

Die fünf Verknüpfungen

Negation: ¬A

Konjunktion (UND): A ∧ B

Disjunktion (ODER): A ∨ B

Implikation: A → B

Biimplikation: A ↔ B

Drei wichtige Begriffe

Tautologie (Spezialfall einer erfüllbaren Formel)

Kontingente Formel

Widerspruch / Unerfüllbar

De Morgansche Regeln (logische Variante)

Wo brauchst du Aussagenlogik?

Klausur-Tricks

Interaktiv

Wahrheitstabellen-Spielwiese

Quiz

Symbol	Name	Sprich
`neg A`	Negation	"nicht A"
`A wedge B`	Konjunktion	"A und B"
`A vee B`	Disjunktion	"A oder B"
`A → B`	Implikation	"wenn A, dann B"
`A ↔ B`	Biimplikation	"A genau dann wenn B"