From 01876a8a9ca3fb328cd0afdc4fc20ee58b1c76e1 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 16 Apr 2020 17:19:13 +0200
Subject: [PATCH] add slide

---
 info4/kapitel-0/Logik.ipynb | 28 ++++++++++++++++++++++++++--
 1 file changed, 26 insertions(+), 2 deletions(-)

diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 576663c..7e97521 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -1311,6 +1311,30 @@
     "x*x = 10000"
    ]
   },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "# Logische Äquivalenz, Schlussfolgerung\n",
+    "\n",
+    "Diese beiden Definitionen übernehmen wir wortwörtlich aus der Aussagenlogik:\n",
+    "\n",
+    "* Zwei Formeln $\\phi$ und $\\psi$ sind <b>äquivalent</b> gdw sie die selben Modelle haben.\n",
+    " * Wir schreiben dies als $\\phi \\equiv \\psi$.\n",
+    "     \n",
+    "* Eine Formel $\\psi$ ist eine <b>logische Schlussfolgerung</b> von $\\phi$, wenn alle Modelle von $\\phi$ auch Modelle von $\\psi$ sind.\n",
+    " * Wir schreiben dies als $\\phi \\models \\psi$.\n",
+    "     \n",
+    "Das Konzept der Modelle ist aber in Prädikatenlogik komplizierter:\n",
+    "\n",
+    "* eine Menge an Objekten muss ausgewählt werden\n",
+    "* die Konstanten und Funktionen müssen den Objekten zugeordnet werden\n",
+    "* die Prädikate müssen Objekte auf Wahrheitswerte abbilden; Aussagen sind ein Spezialfall von Prädikaten.\n",
+    "* (manchmal sind bestimmte Symbole vordefiniert, wie $<$, $+$ oder $5$)\n",
+    "\n",
+    "Dies ist nicht Inhalt dieser Vorlesung."
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {},
@@ -1391,8 +1415,8 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Auswertung der Formeln erfolgte mit\n",
-    "![ProB](../presentations/img/prob_logo.png)"
+    "Auswertung der Formeln erfolgte mit dem [Jupyter kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) für [ProB](https://www3.hhu.de/stups/prob)\n",
+    "![ProB](img/prob_logo.png)"
    ]
   },
   {
-- 
GitLab