Negazione logica

[Lc92]

Salve,
mi potreste aiutare a negare questa affermazione? Avrei bisogno di una conferma.

\( \forall \varepsilon > 0 \) \( \exists M(\varepsilon )> 0 \) tale che se \( x > M \) allora risulta che \( \mid f(x)-c\mid <\varepsilon \)

Vi ringrazio,

Lorenzo

[Mephlip]

Nelle negazioni i quantificatori universali ed esistenziali si invertono, mentre "$A$ implica $B$" diventa "$A$ implica non $B$".

[Lc92]

Perciò dovrebbe risultare così:

\( \exists \varepsilon >0 \) tale che \( \forall M > 0 \) \( \exists x > M \) per cui risulta che \( |f(x)-c|\geq \varepsilon \)

E' corretto?