From 270ddc8da0dc767b51054a95e7f34a6a3793fe32 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Sun, 27 Oct 2024 17:46:45 -0400
Subject: [PATCH] Typo fix

---
 content/blog/implications-prenex-normal-form.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/content/blog/implications-prenex-normal-form.md b/content/blog/implications-prenex-normal-form.md
index a8990b6..6552340 100644
--- a/content/blog/implications-prenex-normal-form.md
+++ b/content/blog/implications-prenex-normal-form.md
@@ -38,7 +38,7 @@ $$
 (\forall x \phi) \implies \psi &\iff \neg (\forall x \phi) \vee \psi \tag{0.1} \\\\
 &\iff (\exists x \neg \phi) \vee \psi \tag{2.2}\\\\
 &\iff \exists x (\neg \phi \vee \psi) \tag{2.1}\\\\
-&\iff \exists x (\neg \phi \implies \psi) \tag{0.1}
+&\iff \exists x (\phi \implies \psi) \tag{0.1}
 \end{align*}
 $$
 **2.** Show that $\phi \implies (\exists x \psi)$ is equivalent to $\exists x (\phi \implies \psi)$