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

Pomoc oko zadatka (Negacija sudova) (zadatak)

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Čistilište
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
Gost






PostPostano: 11:36 sri, 8. 9. 2010    Naslov: Pomoc oko zadatka (Negacija sudova) Citirajte i odgovorite

Treba mi pomoc oko 3. zadatka sa slike, zanima me kojom metodom cu to rjesit,negdi sam procitao da se tribaju koristiti demorganove formule za predikate i negacija implikacije ali mi nije bas jasno koje su to formule.

Jeli me moze netko uputiti na pravi put molim vas?

[img]http://i74.photobucket.com/albums/i246/bili89/Uploads%20via%20Pixelpipe/07092010.jpg[/img]
Treba mi pomoc oko 3. zadatka sa slike, zanima me kojom metodom cu to rjesit,negdi sam procitao da se tribaju koristiti demorganove formule za predikate i negacija implikacije ali mi nije bas jasno koje su to formule.

Jeli me moze netko uputiti na pravi put molim vas?



[Vrh]
ß
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 29. 07. 2006. (15:29:06)
Postovi: (115)16
Spol: muško
Sarma = la pohva - posuda
41 = 46 - 5
Lokacija: Graveyard Mountain Home

PostPostano: 12:31 sri, 8. 9. 2010    Naslov: Re: Pomoc oko zadatka (Negacija sudova) Citirajte i odgovorite

[quote="Anonymous"]Treba mi pomoc oko 3. zadatka sa slike, zanima me kojom metodom cu to rjesit,negdi sam procitao da se tribaju koristiti demorganove formule za predikate i negacija implikacije ali mi nije bas jasno koje su to formule.

Jeli me moze netko uputiti na pravi put molim vas?
[/quote]

Univerzalni kvantifikator se negira egzistencijalnim, egzistencijalni univerzalnim.
Nadalje, konjunkcija/disjunkcija/implikacija/ekvivalencija negira se tako da staviš negaciju ispred i onda možeš dalje demorganom (ako imaš konj/disj), ili implikaciju pretvorit u nešto drugo pa je negirat, itd.

Ono što ovdje možeš iskoristiti je (uz kvantifikatore) negacija implikacije, dakle ovako nešto:
[latex]\neg (A\implies B)\iff (A\land \neg B)[/latex]

Znači tvoja negacija bi izgledala ovako:
[latex](\exists x\in R)(\exists y\in R)(x^2=y^2 \land x\neq y)[/latex]
Anonymous (napisa):
Treba mi pomoc oko 3. zadatka sa slike, zanima me kojom metodom cu to rjesit,negdi sam procitao da se tribaju koristiti demorganove formule za predikate i negacija implikacije ali mi nije bas jasno koje su to formule.

Jeli me moze netko uputiti na pravi put molim vas?


Univerzalni kvantifikator se negira egzistencijalnim, egzistencijalni univerzalnim.
Nadalje, konjunkcija/disjunkcija/implikacija/ekvivalencija negira se tako da staviš negaciju ispred i onda možeš dalje demorganom (ako imaš konj/disj), ili implikaciju pretvorit u nešto drugo pa je negirat, itd.

Ono što ovdje možeš iskoristiti je (uz kvantifikatore) negacija implikacije, dakle ovako nešto:


Znači tvoja negacija bi izgledala ovako:



_________________
Devious movements in your eyes moved me from relief
Breath comes out white clouds with your lies
and filters through me
[Vrh]
Korisnički profil Pošaljite privatnu poruku MSNM
Gost






PostPostano: 17:27 sri, 8. 9. 2010    Naslov: Citirajte i odgovorite

puno hvala na brzom rjesenju :D
puno hvala na brzom rjesenju Very Happy


[Vrh]
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Čistilište Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
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