MGLI Lektion 1: Aussagen

Published at Sep 14, 2026

• Print

Symbole für Aussagen

Zweistellige Operatoren

Und ∧

Wenn beides richtig ist …

Oder ∨

Wenn mindestens eines richtig ist …

Implikation ⇒

Ist nur falsch wenn A wahr ist und B falsch sonst richtig

Falsch ⇒ Falsch (Richtig)
Falsch ⇒ Richtig (Richtig)
Richtig ⇒ Falsch (Falsch)
Richtig ⇒ Richtig (Richtig)

In Zahlen ausgedrückt muss also die rechte seite mindestens gleich oder mehr sein als links.

Logische Äquivalenz ⇔

Wenn die beiden werte gleich sind, unabhängig davon ob sie wahr oder falsch sind …

Einstellige Operatoren

Negation ¬

geht vor, respektive wird als erstes evaluiert

Weitere Begriffe

Tautologie

Wenn eine Logische Formel für alle Belegungen stets den Wahrheitswert 1 hat, dann nennt man diese Formel Tautologie

zb.

A ⇒ (A ∨ B)

oder

(A ⇒ B) ⇔ (¬B ⇒ ¬A)

Kontradiktion

Wenn eine Logische Formel für alle Belegungen stets den Wahrheitswert 0 hat, dann nennt man diese Formel Kontradiktion

zb.

A ∧ ¬A

Normalformen

Konjunktive Normalform

Disjunktive Normalform