Matematické Fórum

Panassino · 28. 09. 2014 22:09

Zdravím,

jednoduché, přesto jsem si nejistý.

$V: \forall x \in \mathbb{R};\exists y\in \mathbb{R}; x + 5y<7$
$>V: \exists x \in \mathbb{R};\exists y\in \mathbb{R}; x + 5y\ge 7$

je takto negace správně?

BakyX · 28. 09. 2014 22:16

Prečo by nebola správna :) ?

Panassino · 28. 09. 2014 22:17

↑ BakyX:

Taková ta záplava nejistoty, co občas člověka pohltí :-)

BakyX · 28. 09. 2014 22:28

↑ Panassino:

Asi som sa poplietol, v skutočnosti musíš zmeniť aj ten druhý kvantifikátor.

Odpoveď je "Existuje také "x", že pre všetky "y" platí x+5y >= 7"

Panassino · 28. 09. 2014 22:30

↑ BakyX:

To je právě to, co řeším. Pokud změním i ten druhý kvantifikátor, podle mě to už nebude negace původního výroku.

zdenek1 · 28. 09. 2014 22:32

↑ Panassino:

podle mě to už nebude negace původního výroku.

A podle mě bude.

Panassino · 28. 09. 2014 22:35

↑ zdenek1:

To je dost přesvědčivý argument, jak jsem psal výše, občas to prostě nejde a člověk dělá chyby, že se sám diví, jak je to možné.

Arabela · 28. 09. 2014 22:43

↑ Panassino:Ahoj,
možno pomôže na pochopenie tento príklad zo života:

V: Ku každému obedu existuje nápoj, ktorý sa ku nemu hodí.
negV: Existuje taký obed, že pre každý nápoj platí, že sa k nemu nehodí.

Matematické Fórum

#1 28. 09. 2014 22:09

logika - negace

#2 28. 09. 2014 22:16

Re: logika - negace

#3 28. 09. 2014 22:17

Re: logika - negace

#4 28. 09. 2014 22:28

Re: logika - negace

#5 28. 09. 2014 22:30

Re: logika - negace

#6 28. 09. 2014 22:32

Re: logika - negace

#7 28. 09. 2014 22:35

Re: logika - negace

#8 28. 09. 2014 22:43

Re: logika - negace

Zápatí