From 56b19f72bd6e84390e001712152846c3f60d066b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Tue, 21 Apr 2020 09:42:57 +0200
Subject: [PATCH] fix typos
---
info4/kapitel-0/Logik.ipynb | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 6257e40..9c5c870 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",
--
GitLab