Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
Gost
|
|
[Vrh] |
|
štangica Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4242&c=76)
Pridružen/a: 19. 03. 2010. (17:18:17) Postovi: (4C)16
|
|
[Vrh] |
|
Ivecus Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1400&c=98)
![](images/avatars/38244371146236f1cea3c2.gif)
Pridružen/a: 24. 04. 2006. (18:37:35) Postovi: (62)16
|
|
[Vrh] |
|
Tygy Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3246&c=258)
![](images/avatars/7837101214e0526dfee51e.jpg)
Pridružen/a: 22. 11. 2008. (15:27:08) Postovi: (102)16
|
|
[Vrh] |
|
eta Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2051&c=47)
Pridružen/a: 16. 02. 2007. (16:54:15) Postovi: (2F)16
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
Atomised Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2372&c=921)
![](images/avatars/52672592850f6d540ca10e.jpg)
Pridružen/a: 04. 09. 2007. (15:33:59) Postovi: (399)16
Lokacija: Exotica
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
GCOX Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1752&c=168)
Pridružen/a: 24. 10. 2006. (12:43:03) Postovi: (A8)16
Spol: ![muško muško](images/gender/male.gif)
Lokacija: SPLIT_ZAGREB
|
|
[Vrh] |
|
Tomy007 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3923&c=148)
Pridružen/a: 08. 11. 2009. (19:45:28) Postovi: (94)16
|
|
[Vrh] |
|
Atomised Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2372&c=921)
![](images/avatars/52672592850f6d540ca10e.jpg)
Pridružen/a: 04. 09. 2007. (15:33:59) Postovi: (399)16
Lokacija: Exotica
|
Postano: 21:13 ned, 9. 1. 2011 Naslov: |
|
|
[quote="Anonymous"]Ja onu od prošle godine ne znam rijesit?
Ako ti nije problem jel mi možeš napisat rjesenje?[/quote]
Sad tek ovo vidim...
Uglavnom, ne sjećam se ja baš najbolje tih pravila i toga, rekoh da je lagano jer mi je bilo prije godinu dana. :D
Ali mogu probati objasniti ideju:
Pretpostaviš ne-P pa iz toga dobiješ Q, ali je Q ekvivalentno s P pa Q -> P pa dobiješ P... Iz P i ne-P imaš kontradikciju pa znači da ne-ne-P, tj. P, a onda i Q jer je P <-> Q? :D
Ne garantiram da je točno (iz već navedenog razloga)...
Anonymous (napisa): | Ja onu od prošle godine ne znam rijesit?
Ako ti nije problem jel mi možeš napisat rjesenje? |
Sad tek ovo vidim...
Uglavnom, ne sjećam se ja baš najbolje tih pravila i toga, rekoh da je lagano jer mi je bilo prije godinu dana.
Ali mogu probati objasniti ideju:
Pretpostaviš ne-P pa iz toga dobiješ Q, ali je Q ekvivalentno s P pa Q → P pa dobiješ P... Iz P i ne-P imaš kontradikciju pa znači da ne-ne-P, tj. P, a onda i Q jer je P ↔ Q?
Ne garantiram da je točno (iz već navedenog razloga)...
|
|
[Vrh] |
|
Charmed Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3437&c=523)
![](images/avatars/14766124824cae146562b1e.jpg)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
|
Postano: 17:01 pon, 10. 1. 2011 Naslov: |
|
|
Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)
Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)
|
|
[Vrh] |
|
Tomy007 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3923&c=148)
Pridružen/a: 08. 11. 2009. (19:45:28) Postovi: (94)16
|
Postano: 20:03 pon, 10. 1. 2011 Naslov: |
|
|
[quote="Charmed"]Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...)[/quote]
U 5. zadatku iz 2008. se dolazi do beskonačne petlje. Kad primjetiš da se počinješ vrtjeti u krug stani i napiši da je nikad ne staje ali nema ni kontradikcije. (a ovo da imaš P(x,x) netočno to ne možeš dobiti, očito nisi dobro uvodio ili testirao varijable jer moraš dobiti P(a,b) ili tako nešto a ne x i y, a kad dođeš recimo do toga da ti je npr P(a,b) laž samo to zaokružiš dvaput isto kao sa propozicionalnim varijablama). Meni je malo nejasno kako da dokažem da je svaka konačna P-struktura model za formulu ali pretpostavljam da treba valjda riješiti sve grane, a ne stati kod one koja ne staje i onda dobiti svugdje drugdje kontradikcije. To bi onda valjda značilo da jedini model za koji je P-struktura lažna je baš u toj grani, a kad u toj grani napišeš model vidiš da je beskonaćan npr Ro(P) = {(a,a), (a,b), (b,b,), (b,a), (c,c) .....} , znaći svaki konačan model je model za P-strukturu ali nisam u to siguran jer nismo tako neš dokazivali.
Charmed (napisa): | Rješavam kolokvij iz 2008, 5. zadatak, i sad u jednom koraku imam P(x,x) netočan - što se s tim radi točno? Mislim kako se gleda? Pošto se za to ne uvode niti varijable, niti se testira...u knjizi nema riješenog takvog primjera, a mi sa asistentom Iljazovićem nismo također radili takav zadatak...(nadam se da takvo nešto neće doći u kolokviju...) |
U 5. zadatku iz 2008. se dolazi do beskonačne petlje. Kad primjetiš da se počinješ vrtjeti u krug stani i napiši da je nikad ne staje ali nema ni kontradikcije. (a ovo da imaš P(x,x) netočno to ne možeš dobiti, očito nisi dobro uvodio ili testirao varijable jer moraš dobiti P(a,b) ili tako nešto a ne x i y, a kad dođeš recimo do toga da ti je npr P(a,b) laž samo to zaokružiš dvaput isto kao sa propozicionalnim varijablama). Meni je malo nejasno kako da dokažem da je svaka konačna P-struktura model za formulu ali pretpostavljam da treba valjda riješiti sve grane, a ne stati kod one koja ne staje i onda dobiti svugdje drugdje kontradikcije. To bi onda valjda značilo da jedini model za koji je P-struktura lažna je baš u toj grani, a kad u toj grani napišeš model vidiš da je beskonaćan npr Ro(P) = {(a,a), (a,b), (b,b,), (b,a), (c,c) .....} , znaći svaki konačan model je model za P-strukturu ali nisam u to siguran jer nismo tako neš dokazivali.
|
|
[Vrh] |
|
dosed_girl Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1883&c=111)
![](images/avatars/24068675545fadf1993bbe.gif)
Pridružen/a: 04. 12. 2006. (21:01:46) Postovi: (6F)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
Lokacija: -zG-
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
dosed_girl Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1883&c=111)
![](images/avatars/24068675545fadf1993bbe.gif)
Pridružen/a: 04. 12. 2006. (21:01:46) Postovi: (6F)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
Lokacija: -zG-
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
Charmed Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3437&c=523)
![](images/avatars/14766124824cae146562b1e.jpg)
Pridružen/a: 22. 02. 2009. (11:51:49) Postovi: (20B)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
|
Postano: 14:04 uto, 11. 1. 2011 Naslov: |
|
|
Da li mi netko može reći da li je ovo dobro? (Nekako imam dojam da nije...)
Da li mi netko može reći da li je ovo dobro? (Nekako imam dojam da nije...)
Description: |
|
![](images/icon_clip.gif) Download |
Filename: |
logika.rar |
Filesize: |
1006.31 KB |
Downloaded: |
119 Time(s) |
|
|
[Vrh] |
|
Sphiro Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2460&c=69)
Pridružen/a: 17. 10. 2007. (16:32:45) Postovi: (45)16
|
|
[Vrh] |
|
Kika123 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3907&c=12)
Pridružen/a: 05. 11. 2009. (20:20:11) Postovi: (C)16
|
|
[Vrh] |
|
|