Matematické Fórum

nanny1 · 07. 01. 2014 13:41

Ahoj, prosím o kontrolu, nemám SŠ matematiku, tak občas narazím na něco, v čem si nejsem jistá..
Výrok: $\exists a\in \mathbb{R}, \forall \varepsilon >0,\exists n_{0}\in \mathbb{N},\forall n\in \mathbb{N}:(n>n_{0}\Rightarrow |(1/n)-a|<0)$
Negace: $\forall a\in \mathbb{R},\exists \varepsilon >0,\forall n_{0}\in \mathbb{N},\exists n\in \mathbb{N}: (n>n_{0}\wedge |(1/n)-a|\ge O)$ Je to správně?

Arabela · 07. 01. 2014 13:45

Ahoj ↑ nanny1:,
máš to správne.

nanny1 · 07. 01. 2014 20:23

Děkuju, ↑ Arabela:. Mohla bych se prosím ještě zeptat, jak se neguje $\exists !$ ? Nemůžu to nikde najít. Řekla bych, že to bude "neexistuje, nebo jich existuje víc", ale i kdyby to tak bylo, nevím, jak by se to správně zapsalo..

Arabela · 07. 01. 2014 21:20

↑ nanny1:,
uvažuješ správne. Žiaľ, so symbolickými zápismi typu " existujú aspoň 2" a pod. som sa nestretla...

nanny1 · 07. 01. 2014 21:55

OK, děkuju moc za rady. :)

Matematické Fórum

#1 07. 01. 2014 13:41

Negace kvantifikovaných výroků

#2 07. 01. 2014 13:45

Re: Negace kvantifikovaných výroků

#3 07. 01. 2014 20:23

Re: Negace kvantifikovaných výroků

#4 07. 01. 2014 21:20

Re: Negace kvantifikovaných výroků

#5 07. 01. 2014 21:55

Re: Negace kvantifikovaných výroků

Zápatí