Allgemeiner / Richtiger werden objektive Formeln definiert durch:
keine P's oder f's innerhalb eines K
z.B. Formeln aus L (also kein K) Folie 1 wurde am 05.05. nachträglich entsprechend geändert.
Hinweis zu Folie 12:
Folie 12 enthielt an einer wichtigen Stelle einen Fehler und wurde am 18.05. nachträglich berichtigt.
Hinweis zu Folie 20:
Die Formel für die Disjunktion ist (in dieser Form) ohne Einschränkung gültig.
Die letzte Zeile muß lauten: e = {s | T(_c) ist wahr in s} für ein _c aus FSK
Folie 18 wurde am 03.07. nachträglich entsprechend geändert.
Hinweis zu Folie 24:
Es sollte besser lauten:
3. Lehrt( _c, Sarah) (mit _c aus FSK, d.h.: ex. x Lehrt(x,Sarah) )
Folie 24 wurde am 03.07. nachträglich entsprechend geändert.
Übungsblatt 2
zu Aufgabe 2.7: Statt "Sascha" sollte es "Sarah" heißen.
zu Aufgabe 2.8: "Beschreiben Sie das Ergebnis" meint eine Beschreibung mittels objektiver Sätze.
Übungsblatt 3
Aufgabe 3.1 sollte nicht mittels der praktisch gleichlautenden Formeln aus der Vorlesung bewiesen werden, sondern die Aufgabe bestand gerade darin, diese Formeln (wenigstens für maximale Zustände) zu zeigen.
Da dies nicht explizit in der Aufgabenstellung stand, kann die Lösungen zu Aufgabe 3.1 auch noch zusammen mit den Lösungen zu Übungsblatt 5 abgegeben werden.