From d0d78fb9c827b4bb1f99894d036ddf62299e62c0 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 21 Apr 2020 09:22:47 +0200
Subject: [PATCH] fix typos

---
 info4/kapitel-0/Logik.ipynb | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index db02662..6257e40 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -831,12 +831,12 @@
     "* und mit der Wahrheitstabelle dann den Wert von immer grösseren Unterformeln berechnen.\n",
     "\n",
     "Beispiel:\n",
-    "Sei $i$ =  $\\{p\\mapsto TRUE,q\\mapsto FALSE\\}$ eine Interpretation für die Formel $(p \\vee (\\neg p \\wedge q)$.\n",
+    "Sei $i$ =  $\\{p\\mapsto TRUE,q\\mapsto FALSE\\}$ eine Interpretation für die Formel $(p \\vee (\\neg p \\wedge q))$.\n",
     "\n",
-    "* Schritt 1: alle Aussagen berechnen: $(TRUE \\vee (\\neg TRUE \\wedge FALSE)$\n",
-    "* Schritt 2: $\\neg TRUE = FALSE$:  $(TRUE \\vee (FALSE \\wedge FALSE)$\n",
-    "* Schritt 3: $FALSE \\wedge FALSE = FALSE$:  $(TRUE \\vee FALSE)$\n",
-    "* Schritt 3: $TRUE \\vee FALSE = TRUE$: $TRUE$\n",
+    "* Schritt 1: alle Aussagen berechnen:       $~(TRUE \\vee (\\neg TRUE \\wedge FALSE)$\n",
+    "* Schritt 2: $\\neg TRUE = FALSE$:           $~(TRUE \\vee (FALSE \\wedge FALSE)$\n",
+    "* Schritt 3: $FALSE \\wedge FALSE = FALSE$:  $~(TRUE \\vee FALSE)$\n",
+    "* Schritt 3: $TRUE \\vee FALSE = TRUE$:      $~TRUE$\n",
     "\n",
     "Unter der Interpretation $i$ ist die Formel $(p \\vee (\\neg p \\wedge q)$ wahr."
    ]
@@ -856,7 +856,7 @@
     "\n",
     "\n",
     "\n",
-    "Die Interpretation $i'$ =  $\\{p\\mapsto FALSE,q\\mapsto FALSE\\}$ ist kein Modell von $(p \\vee (\\neg p \\wedge q)$.\n",
+    "Die Interpretation $i'$ =  $\\{p\\mapsto FALSE,q\\mapsto FALSE\\}$ ist kein Modell von $(p \\vee (\\neg p \\wedge q))$.\n",
     "Die Formel ist also keine Tautologie, aber erfüllbar.\n",
     "\n",
     "Die Formel $p \\vee \\neg p$ ist eine Tautologie: alle Interpretation machen die Formel wahr.\n",
-- 
GitLab