kleine Änderungen

2021-02-08 09:37:14 +01:00
parent 435bde9865
commit 80742def21
2 changed files with 3 additions and 2 deletions
--- a/chapters/Logik/Prädikatenlogik.tex
+++ b/chapters/Logik/Prädikatenlogik.tex
@@ -84,9 +84,9 @@
                Jeder Formel lässt sich in die Pränexform umstellen.
                \begin{enumerate}
                    \item Variablenumbenennung: Hinter allen Quantoren müssen verschiedene Variablen stehen.
-                    \item Implikation ($\Rightarrow$) und Äquvivalenz ($\rightleftarrows$) vollständig beseitigen.
+                    \item Implikation ($\Rightarrow$) und Äquvivalenz ($\Leftrightarrow$) vollständig beseitigen.
                        Ggfs. Schritt 1 wiederholen
-                    \item Mit \say{de Morganschen Gesetzen} und
+                    \item Mit \say{de Morganschen Gesetzen} (\ref{aussagenlogik: aequivalenzen}) und
                        $$ \neg\forall x F \equiv \exists x\neg F$$
                        $$ \neg\exists x F \equiv \forall x\neg F$$
                        Negationszeichen nach ganz innen schieben.