Seite parallel anzeigen





Du befindest dich hier: Aussagenlogik / Syntax

interaktiv üben! - Formalisierung von Aussagen

(Aussagenlogik Kapitel 3.5)

Diese Seite nimmt Bezug auf

(Seite parallel anzeigen)
Liste überspringen
Zum Seitenanfang

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
 

Formalisiere die Problemstellung aus dem Wumpus Welt Beispiel mit den atomaren Formeln der linken Tabelle unter Verwendung möglichst weniger Klammern (du kannst deine Eingabe auch überprüfen lassen, wenn sie unvollständig ist).
 
Atom Zuordnung
g_a1 Gestank auf Feld [A,1]
g_b1 Gestank auf Feld [B,1]
g_a2 Gestank auf Feld [A,2]
w_a1 Wumpus auf Feld [A,1]
w_a2 Wumpus auf Feld [A,2]
w_a3 Wumpus auf Feld [A,3]
w_b1 Wumpus auf Feld [B,1]
w_b2 Wumpus auf Feld [B,2]
w_c1 Wumpus auf Feld [C,1]
  1. "Auf Feld [A,1] ist kein Gestank bemerkbar."
  2. "Auf Feld [B,1] ist kein Gestank bemerkbar."
  3. "Auf Feld [A,2] ist ein Gestank bemerkbar."
  4. "Ist auf Feld [A,1] kein Gestank bemerkbar, kann sich der Wumpus weder auf den Feldern [A,1], [A,2] noch [B,1] befinden."
  5. "Ist auf Feld [B,1] kein Gestank bemerkbar, kann sich der Wumpus weder auf den Feldern [A,1], [B,1], [C,1] noch [B,2] befinden."
  6. "Ist auf Feld [A,2] ein Gestank bemerkbar, befindet sich der Wumpus auf Feld [A,1], [A,2], [A,3] oder [B,2]."
  7. "Der Wumpus befindet sich auf Feld [A,3]"
  8. "Wenn die Sätze 1-6 wahr sind, folgt Satz 7 daraus."
oder  alle anzeigen