Matematické Fórum

Agil · 22. 09. 2016 13:07 — Editoval Agil (22. 09. 2016 13:09)

Zdravím, mám tu další příklad:
//forum.matweb.cz/upload3/img/2016-09/41558_obm.JPG
Jak jsem postupoval:
Obměna implikace je $¬B\Rightarrow ¬A$
čili původní tvrzení: existuje liché prvočíslo $\Rightarrow (\forall x\in \mathbb{N})(\exists y\in \mathbb{N})(y\le x)$
by mělo obměněně vypadat takto $((\exists x\in \mathbb{N})(\forall y\in \mathbb{N})(y> x))\Rightarrow$
neexistuje liché prvočíslo

Tomu by docela odpovídala poslední odpověď, jenže tam je u y existuje..ale negace existenčního kvantifikátoru je všeobecný kvantifikátor, ne? Nebo v tom zadání je myšlono i u y všeobecný kvantifikátor.

Matematické Fórum

#1 22. 09. 2016 13:07 — Editoval Agil (22. 09. 2016 13:09)

Výroky - obměna

Zápatí