From df336d01e6a3468b00c0c45b7867ac2a0936fea9 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 11 Sep 2020 11:13:07 +0200 Subject: Fixed small typo --- slides/preplogic-slides.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'slides/preplogic-slides.tex') 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} -- cgit v1.3