Matematické Fórum

Anakin_The_Teralian

Mám další lehky vyrok: $(\forall x\in \mathbb{R},x\ge 0)((x<2)\Rightarrow (x=3))$

Jestli ho zneguju musim znegovat i ten vyraz $x\ge 0$ - tedy: $(\exists x\in \mathbb{R},x< 0)((x<2)\wedge (x\ne3))$ nebo se to nesmi negovat - tedy: $(\exists x\in \mathbb{R},x\ge 0)((x<2)\wedge (x\ne3))$ ??????????????????????????????????????????????????????????????

Dikyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy.

Brano · 26. 10. 2012 01:16

Ten vyraz mas napisany ako specifikaciu mnoziny a ta sa neneguje tam sa iba meni $\forall$ na $\exists$ a naopak ... ved ani $x\in\mathbb R$ nemenis na $x\not\in\mathbb R$ .

Ono to v podstate vychadze z tohoto.
$(\forall x\in M)[P(x)]$
je skrateny zapis tohoto
$(\forall x)[(x\in M)\Rightarrow P(x)]$
jeho negacia je
$(\exists x)[(x\in M)\wedge\neg P(x)]$
a ten sa da skratene zapisat takto
$(\exists x\in M)[\neg P(x)]$ .

Matematické Fórum

#1 26. 10. 2012 00:03 — Editoval Anakin_The_Teralian (26. 10. 2012 00:04)

Dalsi negace vyroku

#2 26. 10. 2012 01:16

Re: Dalsi negace vyroku

Zápatí