Du befindest dich hier: Aussagenlogik / Syntax

interaktiv üben! - Formalisierung von Aussagen

(Aussagenlogik Kapitel 3.5)

Hier kannst du die Formalisierung natürlichsprachiger Aussagen an den im Kapitel "Was wollen wir ausdrücken" angeführten Problemstellungen üben.

Wähle zuerst die Problemstellung: Winde und Fenster oder Wumpus Welt

• zurück zu Beispiele - Formalisierung von Aussagen
• zum Seitenanfang
• weiter zu Die Teilformelrelation

. .