Typo fix (Koreans)

This commit is contained in:
Mark 2024-06-07 14:54:31 -07:00
parent 57b6ea217e
commit 30f1ad612d
Signed by: Mark
GPG Key ID: C6D63995FE72FD80

View File

@ -20,7 +20,7 @@ In English, this means \say{For any $x$, $x$ is bigger than zero,} or simply \sa
\vspace{3mm} \vspace{3mm}
$\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if ther is at least one $x$ for which $\varphi(x)$ is true. \par $\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if there is at least one $x$ for which $\varphi(x)$ is true. \par
For example, $\exists ~ (0 < x)$ means \say{there is a positive number in our set.} For example, $\exists ~ (0 < x)$ means \say{there is a positive number in our set.}
\vspace{4mm} \vspace{4mm}