diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb index b6e3cc6e71e94b9d8a5ba6c7e24236bac50aa20b..576663c6d6feb12af608575a9d5f3a411cce03b6 100644 --- a/info4/kapitel-0/Logik.ipynb +++ b/info4/kapitel-0/Logik.ipynb @@ -912,9 +912,9 @@ "\n", "Ein typische fehlerhafte Übersetzung des Puzzles ist diese:\n", "\n", - "* $\\mathit{X} \\Leftrightarrow \\mathit{Y}$ ist die Übersetzung von:\n", + "* $\\mathit{X} \\Rightarrow \\mathit{Y}$ ist die Übersetzung von:\n", " * X sagt: ```Y ist ein Ritter``` \n", - "* $\\mathit{Y} \\Leftrightarrow (\\mathit{X} \\Leftrightarrow \\neg (\\mathit{Y}))$ ist die Übersetzung von:\n", + "* $\\mathit{Y} \\Rightarrow (\\mathit{X} \\Leftrightarrow \\neg (\\mathit{Y}))$ ist die Übersetzung von:\n", " * Y sagt: ```X und ich sind von einem unterschiedlichen Typ.```\n" ] }, @@ -1047,7 +1047,9 @@ "* $\\neg b \\Rightarrow a$\n", "* $\\Longleftrightarrow$ $\\neg \\neg b \\vee a$ (Regel: $\\phi \\Rightarrow \\psi \\equiv \\neg \\phi \\vee \\psi$)\n", "* $\\Longleftrightarrow$ $b \\vee a$ (Regel: $\\neg \\neg \\phi \\equiv \\phi$))\n", - "* $\\Longleftrightarrow$ $a \\vee b$ (Kommutativität von $\\vee$)\n" + "* $\\Longleftrightarrow$ $a \\vee b$ (Kommutativität von $\\vee$)\n", + "\n", + "Anmerkung: im Skript verwenden wir $\\Longleftrightarrow$ für Äquivalenzbeweise; die \"präzise\" logische Schreibweise wäre $\\equiv$." ] }, {