Welche der folgenden ist KEINE Aussage im Sinne der Aussagenlogik?

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

Wann ist $A \wedge B$ wahr?

Richtige Antwort: Nur wenn beide wahr sind. Konjunktion (UND) ist nur wahr wenn BEIDE Operanden wahr sind. In allen anderen 3 Fällen ist sie falsch.

Wann ist $A \to B$ falsch?

Richtige Antwort: Wenn A wahr und B falsch ist. 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.

Was bedeutet, dass eine Formel eine Tautologie ist?

Richtige Antwort: Sie ist immer wahr, egal welche Werte die Variablen haben. Eine Tautologie ist eine logische Konstante — immer wahr. Die Wahrheitstabelle hat nur W in der Endspalte. Klassisches Beispiel: A ∨ ¬A.

Welches ist die De Morgansche Regel?

Richtige Antwort: $\neg(A \wedge B) \equiv \neg A \vee \neg B$. 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).

Welche Formel ist äquivalent zu $A \to B$?

Richtige Antwort: $\neg A \vee B$. A → B ≡ ¬A ∨ B. Wahrheitstabelle vergleichen: beide haben W,F,W,W. Die Implikation kann immer in OR + NOT übersetzt werden.

Welche Formel ist ein Widerspruch (immer falsch)?

Richtige Antwort: $A \wedge \neg A$. 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.

UniProMax/Mathematik/aussagenlogik

Mathematik·13 Min Lesezeit·Fortgeschritten

Aussagenlogik

Wahr und Falsch verknüpfen: AND, OR, NOT, Implikation. Wahrheitstabellen, Tautologien, De Morgan. Grundlage für jede if-Bedingung in Code und für mathematische Beweise.

Voraussetzung:Mengenlehre

Lerneinheit 1 von 3

Aussagenlogik

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.

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.

Anders gesagt: aus etwas Falschem darf alles folgen ("ex falso quodlibet").

"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.

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

Aussagenlogik

Mehr aus Mathematik

Mathematik

Lineare Funktionen

y = mx + b verstehen, Graph zeichnen, Werte berechnen. Die Grundlage für Algorithmus-Laufzeit, Kostenmodelle und einfache Regression.

Mathematik

Quadratische Funktionen

f(x) = ax² + bx + c. Parabeln verstehen, Scheitelpunkt finden, Nullstellen berechnen mit pq- und abc-Formel. Drei Darstellungsformen und wann welche.

Mathematik

Ableitungen

Vom Differenzenquotienten zum Differentialquotienten: Tangentensteigung als Grenzwert der Sekantensteigungen. Grundregeln (Potenz, Faktor, Summe, Differenz) und erweiterte Regeln (Produkt, Quotient, Kette). Extremwerte über die notwendige Bedingung f'(x) = 0 und hinreichende Bedingung mit f''.

Zur KategorieMathematik Mehr Themen entdeckenZum Themen-Hub

Aussagenlogik

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

"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)

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"

¬A

A ∧ B

A ∨ B

A → B

A ↔ B

¬A

A ∨ ¬A

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"

Aussagenlogik

Aussagenlogik

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

Erklärung

Aussagenlogik

Lineare Funktionen

Quadratische Funktionen

Ableitungen

Aussagenlogik

Aussagenlogik

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

Erklärung

Aussagenlogik

Lineare Funktionen

Quadratische Funktionen

Ableitungen

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

Integrale

Vektoren

Wahrscheinlichkeit