- #1
Mr Davis 97
- 1,462
- 44
Take the following statement as given: ##\forall \epsilon > 0 ~ (|x-y| < \epsilon) \implies x = y##. To convert this prenex normal form, we get ##\exists \epsilon > 0 ~ (|x-y| < \epsilon \implies x = y)##. How are these two statements equivalent? It seems as though they are saying different things...