Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
|
[Vrh] |
|
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
buzov5 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1873&c=77)
![](images/avatars/100436306645c482c9c0cd9.jpg)
Pridružen/a: 01. 12. 2006. (13:30:32) Postovi: (4D)16
Lokacija: zg
|
|
[Vrh] |
|
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
|
[Vrh] |
|
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
Postano: 19:03 uto, 17. 1. 2012 Naslov: |
|
|
Ako je netko rjesavao kolokvij 2010., molila bih da provjerimo rjesenja 3. i 4. zadatka:
3.zad: Formula nije valjana.
M={a, b, c, d}
fi(R)= { (b,a), (b,b) }
fi(P)={}
4.zad: Formula je ispunjiva.
M={a,b,c,d,e}
fi(R)={ (a,b), (e,d)}
fi(P)={}
[size=9][color=#999999]Added after 14 minutes:[/color][/size]
Usput da provjerim samo, ispit je sutra u 12h jel tako? (kao prosli put)
Ako je netko rjesavao kolokvij 2010., molila bih da provjerimo rjesenja 3. i 4. zadatka:
3.zad: Formula nije valjana.
M={a, b, c, d}
fi(R)= { (b,a), (b,b) }
fi(P)={}
4.zad: Formula je ispunjiva.
M={a,b,c,d,e}
fi(R)={ (a,b), (e,d)}
fi(P)={}
Added after 14 minutes:
Usput da provjerim samo, ispit je sutra u 12h jel tako? (kao prosli put)
|
|
[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] |
|
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
Postano: 19:37 uto, 17. 1. 2012 Naslov: |
|
|
Krenemo od toga da je sve laz, to kondicional dijeli na
1. prvu polovicu (s kvatifikatorom POSTOJI) TRUE (ovdje uvodim a)
2. druga polovica (s kvant. SVAKI i POSTOJI) LAZ (ovdje uvodim b)
3. raspis prve polovice s uvedenim a TRUE
4. raspis druge polovice s uvedenim b (ostaje kvantifikator POSTOJI) LAZ
(testiram 4.redak s a i b)
TU DOBIJEM 4 KONACNE FORMULE: P(a,a) LAZ
P(b,b) LAZ
R(b,a) ISTINA
R(b,b) ISTINA
GRANAMO: raspis 3. retka (jer je TRUE kondicional)
PRVA GRANA: kontradikcija
DRUGA GRANA: u ovoj grani imamo BIKONDICIONAL
GRANANJE: 1.grana (uvodim c) KONTRADIKCIJA
2.grana (uvodim d) i testiram za a,b,d
I sad mislim da znam gdje grijesim, ako smo u ovoj prvoj grani uveli c i dosli smo do kontradikcije, onda taj uvedeni c nije element nosaca M?
Odnosno, clanovi od M su oni uvedeni elementi koje smo uveli SAMO U TOJ CITAVOJ GRANI?
Ako da, onda je M={ a, b, d}
Krenemo od toga da je sve laz, to kondicional dijeli na
1. prvu polovicu (s kvatifikatorom POSTOJI) TRUE (ovdje uvodim a)
2. druga polovica (s kvant. SVAKI i POSTOJI) LAZ (ovdje uvodim b)
3. raspis prve polovice s uvedenim a TRUE
4. raspis druge polovice s uvedenim b (ostaje kvantifikator POSTOJI) LAZ
(testiram 4.redak s a i b)
TU DOBIJEM 4 KONACNE FORMULE: P(a,a) LAZ
P(b,b) LAZ
R(b,a) ISTINA
R(b,b) ISTINA
GRANAMO: raspis 3. retka (jer je TRUE kondicional)
PRVA GRANA: kontradikcija
DRUGA GRANA: u ovoj grani imamo BIKONDICIONAL
GRANANJE: 1.grana (uvodim c) KONTRADIKCIJA
2.grana (uvodim d) i testiram za a,b,d
I sad mislim da znam gdje grijesim, ako smo u ovoj prvoj grani uveli c i dosli smo do kontradikcije, onda taj uvedeni c nije element nosaca M?
Odnosno, clanovi od M su oni uvedeni elementi koje smo uveli SAMO U TOJ CITAVOJ GRANI?
Ako da, onda je M={ a, b, d}
|
|
[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] |
|
piccola Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4002&c=215)
Pridružen/a: 30. 11. 2009. (15:39:50) Postovi: (D7)16
|
|
[Vrh] |
|
frutabella Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4615&c=590)
Pridružen/a: 09. 10. 2010. (16:35:36) Postovi: (24E)16
|
Postano: 20:16 uto, 17. 1. 2012 Naslov: |
|
|
I btw, provjerila sam ono svoje pitanje, istina je.
U skup M uvodimo elemente koji su SAMO u toj grani, u kojoj nije doslo do kontradikcije.
Hajde molim te vidi, 5.zad iz 2009.
Katastrofis...puno raspisivanja, duga jedna klobasa, i na kraju jedno grananje koje se brzo rijesi i dolazim do rjesenja da FORMULA NIJE ISPUNJIVA.
[size=9][color=#999999]Added after 5 minutes:[/color][/size]
Da li se 6.zadatak isto glavnim testom rjesava? To da nije valjana sigurno dokazem glavnim testom, dobit cemo jednu granu koja je istinita.
A da je istinita na svim konacnim R- strukrutama, da li to znaci da su sve kombinacije (uvedenih elemenata) istinite?
Npr, ako smo uveli elemente a,b,c onda R(a,b), R(b,a), R(a,c), R(c,a), R(b,c), R(c,a) su TRUE.
[size=9][color=#999999]Added after 11 minutes:[/color][/size]
Rjesavajuci zadatak glavnim testom dolazim do zakljucka da bi ovo zadnje znacilo, da je istinita na svim konacnim R-strukturama, ako je
R(a,a), R(b,b) (bez kombinacija) -----> TRUE
I btw, provjerila sam ono svoje pitanje, istina je.
U skup M uvodimo elemente koji su SAMO u toj grani, u kojoj nije doslo do kontradikcije.
Hajde molim te vidi, 5.zad iz 2009.
Katastrofis...puno raspisivanja, duga jedna klobasa, i na kraju jedno grananje koje se brzo rijesi i dolazim do rjesenja da FORMULA NIJE ISPUNJIVA.
Added after 5 minutes:
Da li se 6.zadatak isto glavnim testom rjesava? To da nije valjana sigurno dokazem glavnim testom, dobit cemo jednu granu koja je istinita.
A da je istinita na svim konacnim R- strukrutama, da li to znaci da su sve kombinacije (uvedenih elemenata) istinite?
Npr, ako smo uveli elemente a,b,c onda R(a,b), R(b,a), R(a,c), R(c,a), R(b,c), R(c,a) su TRUE.
Added after 11 minutes:
Rjesavajuci zadatak glavnim testom dolazim do zakljucka da bi ovo zadnje znacilo, da je istinita na svim konacnim R-strukturama, ako je
R(a,a), R(b,b) (bez kombinacija) -----> TRUE
|
|
[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] |
|
Gost
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
moni_poni Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4126&c=73)
Pridružen/a: 25. 01. 2010. (19:48:19) Postovi: (49)16
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
ja666 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=5381&c=86)
Pridružen/a: 28. 09. 2011. (12:28:42) Postovi: (56)16
|
|
[Vrh] |
|
moni_poni Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4126&c=73)
Pridružen/a: 25. 01. 2010. (19:48:19) Postovi: (49)16
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
|