Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

kvantifikatori (zadatak)
WWW:
Idite na 1, 2  Sljedeće
Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji 1. godine, preddiplomski studij Matematika -> Elementarna matematika 1 i 2
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
marijamarija
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 14. 11. 2009. (11:59:46)
Postovi: (7)16
Sarma = la pohva - posuda
0 = 0 - 0
PostPostano: 12:20 sub, 14. 11. 2009    Naslov: kvantifikatori Citirajte i odgovorite
Dana je tvrdnja:

(za svaki a,b,c є [b]R[/b] ) ((a≤b)Λ(c>0))=> (a•c≤b•c)

a)Napiši negaciju ovog suda
b)Napiši obrat suda
c)napiši suprotni sud
d)napiši obrat po kontrapoziciji


E sad, ja znam napisati sve to što od mene želi što se tiče ovog drugog dijela...zanima me samo kako kvantifikatori "reagiraju" na to.......

Kad ostaje [b]za svaki [/b]a kad ide [b]postoji[/b]???
Dana je tvrdnja:

(za svaki a,b,c є R ) ((a≤b)Λ(c>0))⇒ (a•c≤b•c)

a)Napiši negaciju ovog suda
b)Napiši obrat suda
c)napiši suprotni sud
d)napiši obrat po kontrapoziciji


E sad, ja znam napisati sve to što od mene želi što se tiče ovog drugog dijela...zanima me samo kako kvantifikatori "reagiraju" na to.......

Kad ostaje za svaki a kad ide postoji???


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 14:39 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
Ak ti nije jasno onda to pojednostavni.
Npr...

(za svaki a,b,c є R ) ((a≤b)Λ(c>0))=> (a•c≤b•c)
(za svaki a,b,c є R ) P=>Q

negacija bi bila:
(Postoji a,b,c є R ) P Λ (ne)Q
(Postoji a,b,c є R ) [(a≤b) Λ (c>0)] Λ (ne)(a•c ≤ b•c)

Odnosno:
(Postoji a,b,c є R ) [(a≤b) Λ (c>0)] Λ (a•c > b•c)

Iako neznam tocno kaj ti nije jasno. Kad negiras onda "za svaki" prelazi u "postoji" i obrnuto.


P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?

P.P.S.
Jedno potpitanje:
Kako negiramo "postoji tocno jedan"?
Ak ti nije jasno onda to pojednostavni.
Npr...

(za svaki a,b,c є R ) ((a≤b)Λ(c>0))⇒ (a•c≤b•c)
(za svaki a,b,c є R ) P⇒Q

negacija bi bila:
(Postoji a,b,c є R ) P Λ (ne)Q
(Postoji a,b,c є R ) [(a≤b) Λ (c>0)] Λ (ne)(a•c ≤ b•c)

Odnosno:
(Postoji a,b,c є R ) [(a≤b) Λ (c>0)] Λ (a•c > b•c)

Iako neznam tocno kaj ti nije jasno. Kad negiras onda "za svaki" prelazi u "postoji" i obrnuto.


P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?

P.P.S.
Jedno potpitanje:
Kako negiramo "postoji tocno jedan"?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gino
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 09. 2008. (10:54:06)
Postovi: (370)16
Sarma = la pohva - posuda
-29 = 108 - 137
Lokacija: Pula
PostPostano: 15:39 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Swerz"]Kako negiramo "postoji tocno jedan"?[/quote]
ne postoji tocno jedan
probaj negirat sud sa [url=http://web.math.hr/nastava/em/EM1/materijali/web-2_predavanje1.pdf]23. slajda[/url]
Swerz (napisa):
Kako negiramo "postoji tocno jedan"?

ne postoji tocno jedan
probaj negirat sud sa 23. slajda



_________________
Mario Berljafa
[Vrh]
Korisnički profil Pošaljite privatnu poruku
marijamarija
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 14. 11. 2009. (11:59:46)
Postovi: (7)16
Sarma = la pohva - posuda
0 = 0 - 0
PostPostano: 15:52 sub, 14. 11. 2009    Naslov: Re: kvantifikatori Citirajte i odgovorite
znači kod suprotnog suda ostaje [b]za svaki[/b] .
kod obrata ostaje [b]za svaki[/b]
kod obrata po kontrapoziciji bude:[b]postoji[/b]
kod negacije-jasno-[b]postoji[/b]...

da li sam u pravu?
znači kod suprotnog suda ostaje za svaki .
kod obrata ostaje za svaki
kod obrata po kontrapoziciji bude:postoji
kod negacije-jasno-postoji...

da li sam u pravu?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 15:58 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
@ gino:
Malo mi je zbunjujuce al na ispitu bih to ovako negirao (naravno sve u znakovima al posto neznam ovdje napisati znak "za svaki", "postoji" i "razlicito":

"za svaki"x[ non(p(x)) V "postoji"y(P(y) Λ y != x) ]
[latex](\forall x)(\neg P(x) \vee \exists y(P(y) \wedge y \neq x))[/latex]

Mene u biti zanima kako bih to napisao sa "znakicima".
Dakle naopako E (postoji) prelazi u naopako A (za svaki). U sta prelazi usklicnik sa naopakim E (postoji tocno jedan)?




@marijamarija
Postoji Obrat, Obrat po kontrapoziciji i Negacija.
Npr: [b](za svaki)x P=>Q[/b]
[latex](\forall x) P \Rightarrow Q[/latex]

Negacija:
[b](postoji)x non(P=>Q)[/b] tj. (postoji)x P Λ (non)Q
[latex](\exists x) \neg (P \Rightarrow Q)[/latex] tj. [latex](\exists x) P \wedge \neg Q[/latex]
za svaki predje u postoji i negiras sud P=>Q
Tu sve negiras. Negiras i kvatifikatore i sud.

Obrat:
[b](za svaki)x Q=>P[/b]
[latex](\forall x) Q \Rightarrow P[/latex]
za svaki ostaje za svaki ali "obrnes" sud
Primjeti da ovdje kod obrata nista ne negiras vec samo mijenjas redoslijed suda

OPK:
[b](postoji)x non(Q=>P)[/b] tj. (postoji)x Q Λ (non)P
[latex](\exists x) \neg (Q \Rightarrow P)[/latex] tj. [latex](\exists x) Q \wedge \neg P[/latex]
Dakle prvo napravis obrat i onda sve to negiras.

P.S. Kaj je to suprotni sud? meni to zvuci kao negacija.
@ gino:
Malo mi je zbunjujuce al na ispitu bih to ovako negirao (naravno sve u znakovima al posto neznam ovdje napisati znak "za svaki", "postoji" i "razlicito":

"za svaki"x[ non(p(x)) V "postoji"y(P(y) Λ y != x) ]


Mene u biti zanima kako bih to napisao sa "znakicima".
Dakle naopako E (postoji) prelazi u naopako A (za svaki). U sta prelazi usklicnik sa naopakim E (postoji tocno jedan)?




@marijamarija
Postoji Obrat, Obrat po kontrapoziciji i Negacija.
Npr: (za svaki)x P⇒Q


Negacija:
(postoji)x non(P⇒Q) tj. (postoji)x P Λ (non)Q
tj.
za svaki predje u postoji i negiras sud P⇒Q
Tu sve negiras. Negiras i kvatifikatore i sud.

Obrat:
(za svaki)x Q⇒P

za svaki ostaje za svaki ali "obrnes" sud
Primjeti da ovdje kod obrata nista ne negiras vec samo mijenjas redoslijed suda

OPK:
(postoji)x non(Q⇒P) tj. (postoji)x Q Λ (non)P
tj.
Dakle prvo napravis obrat i onda sve to negiras.

P.S. Kaj je to suprotni sud? meni to zvuci kao negacija.




Zadnja promjena: Swerz; 19:53 sub, 14. 11. 2009; ukupno mijenjano 3 put/a.
[Vrh]
Korisnički profil Pošaljite privatnu poruku
goranm
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 12. 11. 2002. (20:09:12)
Postovi: (906)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
218 = 249 - 31
PostPostano: 16:24 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Swerz"]P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?[/quote]
Klikni na izbornik (La)Tex/Metapost (ispod Quote) i odaberi Latex. Unutar tagova napišeš \forall za [latex]\forall[/latex], \Rightarrow za [latex]\Rightarrow[/latex], \exists za [latex]\exists[/latex], \neg za [latex]\neg[/latex] itd.

Možeš kliknut izjavu dole da vidiš kod u latexu.

[latex](\exists ~ a,b,c \in \mathbb{R})((a \leq b) \wedge (c>0)) \wedge (a \cdot c > b \cdot c)[/latex]

[quote="Swerz"]P.S. Kaj je to suprotni sud? meni to zvuci kao negacija.[/quote]
Ako [latex]A\Rightarrow B[/latex] onda je suprotni sud [latex]\neg A \Rightarrow \neg B[/latex].
Swerz (napisa):
P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?

Klikni na izbornik (La)Tex/Metapost (ispod Quote) i odaberi Latex. Unutar tagova napišeš \forall za , \Rightarrow za , \exists za , \neg za itd.

Možeš kliknut izjavu dole da vidiš kod u latexu.



Swerz (napisa):
P.S. Kaj je to suprotni sud? meni to zvuci kao negacija.

Ako onda je suprotni sud .



_________________
The Dude Abides
[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail
ma
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 01. 2007. (12:06:50)
Postovi: (347)16
Spol: muško
Sarma = la pohva - posuda
58 = 89 - 31
PostPostano: 16:51 sub, 14. 11. 2009    Naslov: Re: kvantifikatori Citirajte i odgovorite
[quote="marijamarija"]znači kod suprotnog suda ostaje [b]za svaki[/b] .
kod obrata ostaje [b]za svaki[/b]
kod obrata po kontrapoziciji bude:[b]postoji[/b]
kod negacije-jasno-[b]postoji[/b]...

da li sam u pravu?[/quote]

a zašto to tako učiš?
samo slijedi svoju intuiciju.

što je negacija suda:
"svaki student u mojoj grupi ima više od 100 kila."?

pa očito:
"nije istina da svaki student u mojoj grupi ima više od 100 kila.", odnosno, kraće:
"postoji student u mojoj grupi koji nema više od 100 kila.",
tj.
"postoji student u mojoj grupi koji ima manje od 100 kila ili 100 kila.".


[latex](\forall \mathrm{student} \in \mathrm{GRUPA}) (kg(\mathrm{student})>100)[/latex]
negacija toga:
[latex](\exists \mathrm{student} \in \mathrm{GRUPA}) (kg(\mathrm{student}) \leq 100)[/latex]

i onda kad o tome malo dulje razmišljaš, uđe ti u ruku, pa počneš negirati i obrtati po automatizmu.
marijamarija (napisa):
znači kod suprotnog suda ostaje za svaki .
kod obrata ostaje za svaki
kod obrata po kontrapoziciji bude:postoji
kod negacije-jasno-postoji...

da li sam u pravu?


a zašto to tako učiš?
samo slijedi svoju intuiciju.

što je negacija suda:
"svaki student u mojoj grupi ima više od 100 kila."?

pa očito:
"nije istina da svaki student u mojoj grupi ima više od 100 kila.", odnosno, kraće:
"postoji student u mojoj grupi koji nema više od 100 kila.",
tj.
"postoji student u mojoj grupi koji ima manje od 100 kila ili 100 kila.".



negacija toga:


i onda kad o tome malo dulje razmišljaš, uđe ti u ruku, pa počneš negirati i obrtati po automatizmu.



_________________
ima let u finish
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 17:24 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
[quote="goranm"][quote="Swerz"]P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?[/quote]
Klikni na izbornik (La)Tex/Metapost (ispod Quote) i odaberi Latex. Unutar tagova napišeš \forall za [latex]\forall[/latex], \Rightarrow za [latex]\Rightarrow[/latex], \exists za [latex]\exists[/latex], \neg za [latex]\neg[/latex] itd.
[/quote]

Fala puno.
P.S. ostali koji su to tek sad otkrili kao i ja evo korisnog [url=http://degiorgi.math.hr/forum/viewtopic.php?t=2474]linka[/url] i jos korisnije [url=http://amath.colorado.edu/documentation/LaTeX/Symbols.pdf]tablice[/url]

A da sad rezimiramo sudove.

[b]sud: [latex](\forall x)(P>Q)[/latex][/b]

[b]Obrat:[/b]
[latex](\forall x)(Q>P)[/latex]
[b]OPK:[/b]
[latex](\exists x)(\neg Q \leq \neg P)[/latex]
[b][size=7] EDIT:[/size][/b] [latex](\forall x)(\neg Q \leq \neg P)[/latex]
napomena: ako je OPK istinit onda je i sud istinit.
[b]Negacija:[/b]
[latex](\exists x)(P \leq Q)[/latex]
[b]Suprotni sud:[/b] (ovo nisam siguran)
[latex](\forall x)(\neg P>\neg Q)[/latex]
goranm (napisa):
Swerz (napisa):
P.S.
U cem vi kolege forumasi pisete one formule tu na forumu? Mathemathica?

Klikni na izbornik (La)Tex/Metapost (ispod Quote) i odaberi Latex. Unutar tagova napišeš \forall za , \Rightarrow za , \exists za , \neg za itd.


Fala puno.
P.S. ostali koji su to tek sad otkrili kao i ja evo korisnog linka i jos korisnije tablice

A da sad rezimiramo sudove.

sud:

Obrat:

OPK:

EDIT:
napomena: ako je OPK istinit onda je i sud istinit.
Negacija:

Suprotni sud: (ovo nisam siguran)




Zadnja promjena: Swerz; 11:52 ned, 15. 11. 2009; ukupno mijenjano 3 put/a.
[Vrh]
Korisnički profil Pošaljite privatnu poruku
marijamarija
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 14. 11. 2009. (11:59:46)
Postovi: (7)16
Sarma = la pohva - posuda
0 = 0 - 0
PostPostano: 18:07 sub, 14. 11. 2009    Naslov: Citirajte i odgovorite
hvala puno !!!
hvala puno !!!


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Bole13
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 01. 11. 2008. (00:33:50)
Postovi: (5A)16
Spol: muško
Sarma = la pohva - posuda
5 = 5 - 0
PostPostano: 10:54 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
Sta nije da se kvantifikatori kod obrata po kontrapoziciji ne mjenjaju?
za svaki x,y element iz A, x != y -> f(x) != f(y)
za svaki x,y element iz A, f(x)=f(y) -> x=y
Sta nije da se kvantifikatori kod obrata po kontrapoziciji ne mjenjaju?
za svaki x,y element iz A, x != y -> f(x) != f(y)
za svaki x,y element iz A, f(x)=f(y) -> x=y


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 11:45 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
I stand corrected. (sjetio sam se primjera za injektivnost)
Štoviše, mislim da imam jos jednu gresku. :-k A ta je da sam negirao [latex]>[/latex] i napisao [latex]\leq[/latex]. Mislim da to nisam trebao dirati. :?:
I stand corrected. (sjetio sam se primjera za injektivnost)
Štoviše, mislim da imam jos jednu gresku. Think A ta je da sam negirao i napisao . Mislim da to nisam trebao dirati. Question


[Vrh]
Korisnički profil Pošaljite privatnu poruku
nenad
Moderator
Moderator


Pridružen/a: 08. 10. 2002. (14:08:30)
Postovi: (355)16
Sarma = la pohva - posuda
92 = 106 - 14
PostPostano: 12:22 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
Meni je to preteško za zapamtiti.
Imamo sud i negaciju:

1. [latex]\matrix{ &(\forall x) P(x) \cr
\hbox{\qquad} &(\exists x) \neg P(x)\cr}[/latex]
2. [latex]\matrix{ &(\exists x) P(x) \cr
\hbox{\qquad} &(\forall x) \neg P(x)\cr}[/latex]

Isto vrijedi ako se doda [latex]x\in X[/latex].

Za implikaciju [latex]P \Longrightarrow Q[/latex], obrat po kontrapoziciji glasi [latex]\neg Q \Longrightarrow \neg P[/latex] (dok je obrat te implikacije [latex]Q \Longrightarrow P[/latex]).

Dalje se sve svodi na pažljivu primjenu tih pravila.
Naravno, implikacija i njezin obrat po kontrapoziciji imaju iste tablice istinitosti (što ne vrijedi za obrat).
Što bi bio obrat (obrat po kontrapoziciji) suda koji nema oblik implikacije - ne znam.

- Nenad
Meni je to preteško za zapamtiti.
Imamo sud i negaciju:

1.
2.

Isto vrijedi ako se doda .

Za implikaciju , obrat po kontrapoziciji glasi (dok je obrat te implikacije ).

Dalje se sve svodi na pažljivu primjenu tih pravila.
Naravno, implikacija i njezin obrat po kontrapoziciji imaju iste tablice istinitosti (što ne vrijedi za obrat).
Što bi bio obrat (obrat po kontrapoziciji) suda koji nema oblik implikacije - ne znam.

- Nenad


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 14:23 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
1)Imamo sud [latex](\forall x)(P>Q)[/latex], kako glasi OPK?
zanima me što se dogadja sa [latex]>[/latex]
2)Imamo sud [latex](\exists ! x)(x>3)[/latex], kako glasi negacija?
zanima me što se dogadja sa [latex]\exists ![/latex]
1)Imamo sud , kako glasi OPK?
zanima me što se dogadja sa
2)Imamo sud , kako glasi negacija?
zanima me što se dogadja sa


[Vrh]
Korisnički profil Pošaljite privatnu poruku
MI
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 11. 2009. (20:54:30)
Postovi: (26)16
Sarma = la pohva - posuda
-8 = 3 - 11
PostPostano: 14:35 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
Opk bi bio za svaki x Q<P. Ali to nema smisla ako se ne radi o implikaciji.
A neg bi bila ne postoji tocno jedan x takav da je x<=3
Opk bi bio za svaki x Q<P. Ali to nema smisla ako se ne radi o implikaciji.
A neg bi bila ne postoji tocno jedan x takav da je x<=3


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gino
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 09. 2008. (10:54:06)
Postovi: (370)16
Sarma = la pohva - posuda
-29 = 108 - 137
Lokacija: Pula
PostPostano: 15:33 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Swerz"]1)Imamo sud [latex](\forall x)(P>Q)[/latex], kako glasi OPK?[/quote]
[quote="nenad"]Što bi bio obrat (obrat po kontrapoziciji) suda koji nema oblik implikacije - ne znam.[/quote]

citaj nije definirano za ne implikacije
[quote="Swerz"]2)Imamo sud [latex](\exists ! x)(x>3)[/latex], kako glasi negacija?
zanima me što se dogadja sa [latex]\exists ![/latex][/quote]

nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u <=

zasto?
kako bi negirali [latex]\exists x \in \mathbb{Z}[/latex] ne sigorno za svaki x koji nije cijeli broj :wink:
Swerz (napisa):
1)Imamo sud , kako glasi OPK?

nenad (napisa):
Što bi bio obrat (obrat po kontrapoziciji) suda koji nema oblik implikacije - ne znam.


citaj nije definirano za ne implikacije
Swerz (napisa):
2)Imamo sud , kako glasi negacija?
zanima me što se dogadja sa


nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u ⇐

zasto?
kako bi negirali ne sigorno za svaki x koji nije cijeli broj Wink



_________________
Mario Berljafa
[Vrh]
Korisnički profil Pošaljite privatnu poruku
ma
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 01. 2007. (12:06:50)
Postovi: (347)16
Spol: muško
Sarma = la pohva - posuda
58 = 89 - 31
PostPostano: 18:29 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Gino"]kako bi negirali [latex]\exists x \in \mathbb{Z}[/latex] ne sigorno za svaki x koji nije cijeli broj :wink:[/quote]

zašto ne? :?

ako ne vrijedi: [latex]\exists x \in \mathbb{Z}[/latex],
onda vrijedi: [latex]\forall x, x \notin \mathbb{Z}[/latex].

dakle, koji god [latex]x[/latex] uzmem (ma što god on bio), on nije u [latex]\mathbb{Z}[/latex], jer ne postoji [latex]x \in \mathbb{Z}[/latex], tj. [latex]\mathbb{Z}[/latex] je prazan.

[color=orange]edit[/color] ili si ti, Gino, to htio reći?
Gino (napisa):
kako bi negirali ne sigorno za svaki x koji nije cijeli broj Wink


zašto ne? Confused

ako ne vrijedi: ,
onda vrijedi: .

dakle, koji god uzmem (ma što god on bio), on nije u , jer ne postoji , tj. je prazan.

edit ili si ti, Gino, to htio reći?



_________________
ima let u finish
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Gino
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 11. 09. 2008. (10:54:06)
Postovi: (370)16
Sarma = la pohva - posuda
-29 = 108 - 137
Lokacija: Pula
PostPostano: 19:25 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
samo za sebe postoji x iz Z bas ne znaci puno
mislio sam da misle kako se negira taj dio kad imas nesto smislenije
postoji x iz Z takav da je x+1.2=3
negacija bi bila
za svaki x iz Z x+1.2 nije 3
ne bi bilo za svaki x koji nije iz Z x+1.2 nije 3
samo za sebe postoji x iz Z bas ne znaci puno
mislio sam da misle kako se negira taj dio kad imas nesto smislenije
postoji x iz Z takav da je x+1.2=3
negacija bi bila
za svaki x iz Z x+1.2 nije 3
ne bi bilo za svaki x koji nije iz Z x+1.2 nije 3



_________________
Mario Berljafa
[Vrh]
Korisnički profil Pošaljite privatnu poruku
ma
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 27. 01. 2007. (12:06:50)
Postovi: (347)16
Spol: muško
Sarma = la pohva - posuda
58 = 89 - 31
PostPostano: 20:07 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
razumijem da je to zbunjujuće, ali fora ti je u tome da je [latex]\exists x \in \mathbb{Z}[/latex] pokrata za [latex]( \exists x ) ( x \in \mathbb{Z} )[/latex]. tako da ti tu zapravo imaš sljedeće: [latex]\exists x, \; P(x)[/latex] gdje P(x) znači da je x cijeli broj. tada je negacija upravo [latex]\forall x, \; \neg P(x)[/latex] .
razumijem da je to zbunjujuće, ali fora ti je u tome da je pokrata za . tako da ti tu zapravo imaš sljedeće: gdje P(x) znači da je x cijeli broj. tada je negacija upravo .



_________________
ima let u finish
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Swerz
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28)
Postovi: (182)16
Spol: muško
Sarma = la pohva - posuda
15 = 33 - 18
PostPostano: 23:42 ned, 15. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Gino"]
nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u <=

[/quote]
Opet se ne kuzimo. Ajmo treca sreca :wink:
Mozes li ovo gore napisati pomocu kvantifikatora?
Gino (napisa):

nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u ⇐


Opet se ne kuzimo. Ajmo treca sreca Wink
Mozes li ovo gore napisati pomocu kvantifikatora?


[Vrh]
Korisnički profil Pošaljite privatnu poruku
tperkov
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 08. 12. 2008. (15:17:18)
Postovi: (71)16
Sarma = la pohva - posuda
8 = 14 - 6
PostPostano: 9:14 pon, 16. 11. 2009    Naslov: Citirajte i odgovorite
[quote="Swerz"][quote="Gino"]
nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u <=

[/quote]
Opet se ne kuzimo. Ajmo treca sreca :wink:
Mozes li ovo gore napisati pomocu kvantifikatora?[/quote]

[latex]\neg\exists !x(x>3)\\
\neg\exists x(x>3) \vee \exists x,y(x\neq y\wedge x,y>3) [/latex]

Drugim riječima, ne postoji x koji je veći od 3 ili postoje dva različita koja su veća od 3
I možda malo elegenatnije, kad iznegiramo prvi dio tvrdnje:

[latex]\forall x(x\leqslant 3) \vee \exists x,y(x\neq y\wedge x,y>3) [/latex]
Swerz (napisa):
Gino (napisa):

nije istina da postoji jedinstveni x>3
odnosno
ili ne postoji niti jedan x>3, ili ih ima vise koji su >3

u negaciji se ne mijenja > u ⇐


Opet se ne kuzimo. Ajmo treca sreca Wink
Mozes li ovo gore napisati pomocu kvantifikatora?




Drugim riječima, ne postoji x koji je veći od 3 ili postoje dva različita koja su veća od 3
I možda malo elegenatnije, kad iznegiramo prvi dio tvrdnje:



[Vrh]
Korisnički profil Pošaljite privatnu poruku Pošaljite e-mail
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji 1. godine, preddiplomski studij Matematika -> Elementarna matematika 1 i 2 Vremenska zona: GMT + 01:00.
Idite na 1, 2  Sljedeće
Stranica 1 / 2.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Ne možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You can attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan