Kalkül

Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8

Abschließende Betrachtung von Logiken (Logik Einführung Kapitel 8) Grundsätzlich besteht eine Logik aus einer Syntax (meist im Rahmen eines Kalküls definiert), durch die die formale Sprache definiert wird und einer dazugehörigen Semantik, die den abstrakten Zeichenfolgen wiederum Bedeutung zuweist. Für verschiedene Problemstellung lassen sich verschiedene Logiken aufbauen.  In diesem Kapitel wollen wir einige wichtige Konzepte und Fragestellungen zur Klassifizierung anführen,bemerken, dass ein und dieselbe Logik… Weiterlesen »Abschließende Betrachtung von Logiken Logik Einführung Kapitel 8

Syntax Logik Einführung Kapitel 5

(griechisch συνταξις [syntaksis] – die Zusammenstellung) Durch die Syntax werden Regeln beschrieben, nach denen Atome generiert und zu komplexeren Einheiten (Sätzen) zusammengesetzt werden können. Syntaktisch korrekte Sätze bezeichnen wir als Formeln. Atome werden auch als atomare Formeln bezeichnet. Beispiel – Syntax: Wumpus-Welt Angenommen, wir wollen folgende Aussagen, welche die Wumpus-Welt beschreiben, als atomar betrachten: Der Wumpus befindet sich auf Feld [A,3] Auf… Weiterlesen »Syntax Logik Einführung Kapitel 5