![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
furrbearYou know that comment about still wanting someone to produce the logical negation of that equation...
From the definition of a Limit,
The negation of the definition of a limit:
is logically equivalent to
From the definition of a Limit,
∀ε>0 ∃δ>0 ∋ 0<|x-a|<δ⇒|ƒ(x)-L|<ε
The negation of the definition of a limit:
¬(∀ε>0 ∃δ>0 (0<|x-a|<δ⇒|ƒ(x)-L|<ε))
is logically equivalent to
∃ε>0 ∀ δ>0 (0<|x-a|<δ ∧ ¬|ƒ(x)-L|<ε)
