diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 6257e40ce7a5a38a3b34f9109bd9417059521b2f..9c5c870d67d5ef99122c151f240a9c2b8a19f7ce 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -1381,7 +1381,7 @@
     "Die [Syllogistik](https://de.wikipedia.org/wiki/Syllogismus), einer Vorform der Prädikatenlogik, geht auf Aristoteles zurück.\n",
     "\n",
     "\n",
-    "Was ist der Zusammenhang zwischen folgenden vier Aussagen, unter der Annahme, daß es mindestens einen Mensch gibt?\n",
+    "Was ist der Zusammenhang zwischen folgenden vier Aussagen, unter der Annahme, dass es mindestens einen Mensch gibt?\n",
     "(In die Aussagenlogik sind alle vier Aussagen unabhängig.)\n",
     "\n",
     "1. Alle Menschen sind sterblich.\n",
@@ -1527,7 +1527,7 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "In diesem Jupyter Notebook werden automatisch Existenzquantoren für alle offenen Variablen einegfügt:"
+    "In diesem Jupyter Notebook werden automatisch Existenzquantoren für alle offenen Variablen eingefügt:"
    ]
   },
   {
@@ -1717,7 +1717,7 @@
     "* Aussagenlogik ist entscheidbar\n",
     "* Prädikatenlogik ist semi-entscheidbar: wenn $\\phi \\models \\psi$ kann man einen Beweis finden\n",
     " * Gödelscher Vollständigkeitssatz  https://de.wikipedia.org/wiki/Gödelscher_Vollständigkeitssatz\n",
-    "* (Anmerkung: Wir werden gegen später in der Vorlesung das Konzept der Entscheidbarkeit formal beschreiben)\n",
+    "* (Anmerkung: Wir werden später in der Vorlesung das Konzept der Entscheidbarkeit formal beschreiben)\n",
     "* reine Prädikatenlogik ist nicht ausreichend um Arithmetik zu axiomatisieren\n",
     " * Gödelscher Unvollständigkeitssatz https://de.wikipedia.org/wiki/Gödelscher_Unvollständigkeitssatz\n",
     "\n",