brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2024-10-30 01:12:07 -04:00
Code Issues Projects Releases Packages Wiki Activity

Typo fix

Browse source
This commit is contained in:
Brandon Rozek 2024-10-27 17:46:45 -04:00
parent bc493c8c22
commit 270ddc8da0
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/blog/implications-prenex-normal-form.md
View file

@ -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)$