Negacja zdania z kwantyfikatorem

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
Bartelost
Witam na forum
Witam na forum
Posty: 6
Rejestracja: 20 paź 2020, 10:09
Podziękowania: 2 razy
Płeć:

Negacja zdania z kwantyfikatorem

Post autor: Bartelost »

Zdanie:
∀x∈R:x^2+4x+3>0
Negacja zdania:
~[∀x∈R:x^2+4x+3>0] <=> ∃x∈R: ~(x^2+4x+3>0) <=> ∃x∈R: x^2+4x+3<=0
Czy to jest poprawnie zapisana negacja?
Awatar użytkownika
Jerry
Expert
Expert
Posty: 3503
Rejestracja: 18 maja 2009, 09:23
Podziękowania: 50 razy
Otrzymane podziękowania: 1918 razy

Re: Negacja zdania z kwantyfikatorem

Post autor: Jerry »

Zapisz to, proszę, w kodzie - w tej wersji nie jest na tyle czytelne, żeby ocenić!

Pozdrawiam
Bartelost
Witam na forum
Witam na forum
Posty: 6
Rejestracja: 20 paź 2020, 10:09
Podziękowania: 2 razy
Płeć:

Re: Negacja zdania z kwantyfikatorem

Post autor: Bartelost »

Zdanie:
\(\bigwedge_{x\in\rr}:x^2+4x+3>0\)
Negacja zdania:
~\([\bigwedge_{x\in\rr}:x^2+4x+3>0] <=> \bigvee_{x\in\rr}: ~(x^2+4x+3>0) <=> \bigvee_{x\in\rr}: x^2+4x+3\le0\)
Czy to jest poprawnie zapisana negacja?
radagast
Guru
Guru
Posty: 17549
Rejestracja: 09 lis 2010, 07:38
Lokalizacja: Warszawa
Podziękowania: 41 razy
Otrzymane podziękowania: 7435 razy
Płeć:

Re: Negacja zdania z kwantyfikatorem

Post autor: radagast »

poprawnie byłoby tak:
~\([\bigwedge_{x\in\rr}:x^2+4x+3>0] <=> \bigvee_{x\in\rr}: x^2+4x+3\le0\)

(wyrzucić to ze środka)
Bartelost
Witam na forum
Witam na forum
Posty: 6
Rejestracja: 20 paź 2020, 10:09
Podziękowania: 2 razy
Płeć:

Re: Negacja zdania z kwantyfikatorem

Post autor: Bartelost »

Dzięki wielkie, pozdrawiam.
ODPOWIEDZ