Negazione logica
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
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
Risposte
Nelle negazioni i quantificatori universali ed esistenziali si invertono, mentre "$A$ implica $B$" diventa "$A$ implica non $B$".
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?
\( \exists \varepsilon >0 \) tale che \( \forall M > 0 \) \( \exists x > M \) per cui risulta che \( |f(x)-c|\geq \varepsilon \)
E' corretto?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo