aboutsummaryrefslogtreecommitdiff
path: root/slides/preplogic-slides.tex
diff options
context:
space:
mode:
Diffstat (limited to 'slides/preplogic-slides.tex')
-rw-r--r--slides/preplogic-slides.tex6
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.''
366 \begin{example} 366 \begin{example}
367 $S=$``the set of all cars'', $A(x)$=``$x$ is red'' 367 $S=$``the set of all cars'', $A(x)$=``$x$ is red''
368 368
369 $\forall x\in S,\, A(X)$ is \textbf{false}. 369 $\forall x\in S,\, A(x)$ is \textbf{false}.
370 370
371 $\exists x\in S,\, A(X)$ is \textbf{true}. 371 $\exists x\in S,\, A(x)$ is \textbf{true}.
372 \end{example} 372 \end{example}
373 \begin{example} 373 \begin{example}
374 $S=\mathbb{N}$, $A(x)=x>5$ 374 $S=\mathbb{N}$, $A(x)=x>5$
375 375
376 $\forall x\in S,\, A(x)$ is \textbf{false}. 376 $\forall x\in S,\, A(x)$ is \textbf{false}.
377 377
378 $\exists x\in S,\, A(X)$ is \textbf{true}. 378 $\exists x\in S,\, A(x)$ is \textbf{true}.
379 \end{example} 379 \end{example}
380\end{frame} 380\end{frame}
381 381

Generated with cgit - Back to sebastiano.tronto.net