Skip to content

Commit

Permalink
Fixed typo
Browse files Browse the repository at this point in the history
  • Loading branch information
Dana Ernst committed Feb 10, 2017
1 parent 661e12d commit 83a664f
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion IntroQuantification.tex
Expand Up @@ -117,7 +117,7 @@
\begin{exercise}
Consider the proposition ``If $\epsilon >0$, then there exists $N\in\mathbb{N}$ such that $1/N<\epsilon$." Assume the universe of discourse is the set $\mathbb{R}$.
\begin{enumerate}[label=\textrm{(\alph*)}]
\item Express the statement logical symbols. Is the statement true?
\item Express the statement in logical symbols. Is the statement true?
\item Reverse the order of the quantifiers to get a new statement. Does the meaning change? If so, how? Is the new statement true?
\end{enumerate}
\end{exercise}
Expand Down
Binary file modified IntroToProof.pdf
Binary file not shown.

0 comments on commit 83a664f

Please sign in to comment.