diff options
Diffstat (limited to 'slides/preplogic-slides.tex')
| -rw-r--r-- | slides/preplogic-slides.tex | 6 |
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 | ||
