Fixed small typo

1 files changed, 3 insertions, 3 deletions

diff --git a/slides/preplogic-slides.tex b/slides/preplogic-slides.tex
index e0c4886..94a4895 100644
--- a/slides/preplogic-slides.tex
+++ b/slides/preplogic-slides.tex
@@ -366,16 +366,16 @@ Mathematician: ``Yes.''
   \begin{example}
   $S=$``the set of all cars'', $A(x)$=``$x$ is red''
 
-  $\forall x\in S,\, A(X)$ is \textbf{false}.
+  $\forall x\in S,\, A(x)$ is \textbf{false}.
 
-  $\exists x\in S,\, A(X)$ is \textbf{true}.
+  $\exists x\in S,\, A(x)$ is \textbf{true}.
   \end{example}
   \begin{example}
     $S=\mathbb{N}$, $A(x)=x>5$
 
   $\forall x\in S,\, A(x)$ is \textbf{false}.
 
-  $\exists x\in S,\, A(X)$ is \textbf{true}.
+  $\exists x\in S,\, A(x)$ is \textbf{true}.
   \end{example}
 \end{frame}