-------------------- Skript 3 --------------------

1. Im Satz 3.8 muss man voraussetzen, dass Gamma endlich ist:

   "Satz 3.8. Für alle endlichen Teilmengen Gamma \subseteq Prop und ..."

-------------------- Skript 6 --------------------

1. In Definition 6.2 sollte es besser heißen
   
   "... X eine Variablenmenge, die zu Omega \union R \union {(,),','}
   disjunkt ist."

   damit man Variable auch nicht mit Relationssymbolen verwechseln
   kann. 


2. In Zeile 6 des Abschnitts 2.3 muss es heißen, dass die Semantik-
   Funktion für Formeln Werte in {w,f} annimmt, also

		   "[[.]]rho: F_Sigma(X) -> {w,f}"

   statt "... -> M"

-------------------- Skript 10 -------------------

1. Im letzten Abschnitt "3.1 Substitution" muss es im zweiten Satz

    "Für eine Klausel K = {C_1,...,C_n} ist sie definiert als..."

   statt "Klauselmenge K ... ist erklärt als" heißen.  
   Eine Klausel ist eine Menge von Formeln, und eine Klauselmenge ist
   eine Menge von Klauseln.