Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
vuja Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3751&c=44)
![](images/avatars/17624135914ec5c6211d71f.jpg)
Pridružen/a: 26. 09. 2009. (12:57:07) Postovi: (2C)16
Spol: ![muško muško](images/gender/male.gif)
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
vuja Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3751&c=44)
![](images/avatars/17624135914ec5c6211d71f.jpg)
Pridružen/a: 26. 09. 2009. (12:57:07) Postovi: (2C)16
Spol: ![muško muško](images/gender/male.gif)
|
|
[Vrh] |
|
Gost
|
|
[Vrh] |
|
vuja Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3751&c=44)
![](images/avatars/17624135914ec5c6211d71f.jpg)
Pridružen/a: 26. 09. 2009. (12:57:07) Postovi: (2C)16
Spol: ![muško muško](images/gender/male.gif)
|
|
[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: 16:07 uto, 8. 11. 2011 Naslov: |
|
|
Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... :?
Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola...
|
|
[Vrh] |
|
lanek Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3785&c=81)
![](images/avatars/162501484de6bb21418ba.jpg)
Pridružen/a: 06. 10. 2009. (21:51:48) Postovi: (51)16
Spol: ![žensko žensko](images/gender/female.gif)
|
Postano: 16:45 uto, 8. 11. 2011 Naslov: |
|
|
[quote="frutabella"]Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... :?[/quote]
ne, gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)
tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva.
frutabella (napisa): | Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... ![Confused](images/smiles/icon_confused.gif) |
ne, gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)
tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva.
_________________ ![Boli glava](images/smiles/boliglava.gif)
|
|
[Vrh] |
|
(s)Venn Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3419&c=64)
![](images/avatars/4011690534edf816d68e63.jpg)
Pridružen/a: 18. 02. 2009. (17:59:25) Postovi: (40)16
Lokacija: Velika Gorica
|
Postano: 22:18 uto, 8. 11. 2011 Naslov: |
|
|
[quote="lanek"][quote="frutabella"]Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... :?[/quote]
ne, [b]gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)[/b]tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva.[/quote]
Hm, ova taktika mi se čini prilično nejasna... Glavnim testom se pitamo postoji li interpretacija za koju je zadana formula neistinita. Ako dobijemo da ne postoji, formula je valjana pa je automatski i ispunjiva. Međutim, ako nije valjana, to ne znači da nije ispunjiva (odnosno da je antitautologija).
Po meni, ono što ovdje treba gledati jest činjenica da ako je formula ispunjiva da onda ona nije antitautologija.
Ako formulu u 2.b) označimo s F, pitamo se je li (negiranoF) tautologija, tj po definiciji glavnog testa, postoji li interpretacija za koju je (negiranoF) tautologija. Dakle, prvi korak u glavnom testu jest (negiranoF) neistina, što se u drugom koraku svede na pitanje je li F istinita pa se problem bitno pojednostavni (s obziorm da imamo konjunkciju pa ne moramo odmah razgranati stablo).
Vjerujem da je ovako dobro. :wink:
lanek (napisa): | frutabella (napisa): | Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... ![Confused](images/smiles/icon_confused.gif) |
ne, gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva. |
Hm, ova taktika mi se čini prilično nejasna... Glavnim testom se pitamo postoji li interpretacija za koju je zadana formula neistinita. Ako dobijemo da ne postoji, formula je valjana pa je automatski i ispunjiva. Međutim, ako nije valjana, to ne znači da nije ispunjiva (odnosno da je antitautologija).
Po meni, ono što ovdje treba gledati jest činjenica da ako je formula ispunjiva da onda ona nije antitautologija.
Ako formulu u 2.b) označimo s F, pitamo se je li (negiranoF) tautologija, tj po definiciji glavnog testa, postoji li interpretacija za koju je (negiranoF) tautologija. Dakle, prvi korak u glavnom testu jest (negiranoF) neistina, što se u drugom koraku svede na pitanje je li F istinita pa se problem bitno pojednostavni (s obziorm da imamo konjunkciju pa ne moramo odmah razgranati stablo).
Vjerujem da je ovako dobro.
_________________ ..pišem pjesme, sviram bluz, radost i tugu na stihove lomim..
|
|
[Vrh] |
|
Lepi91 Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4534&c=200)
![](images/avatars/2392458084cb4c27801cbc.png)
Pridružen/a: 15. 09. 2010. (15:22:23) Postovi: (C8)16
Spol: ![muško muško](images/gender/male.gif)
|
Postano: 23:42 uto, 8. 11. 2011 Naslov: |
|
|
[quote="(s)Venn"][quote="lanek"][quote="frutabella"]Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... :?[/quote]
ne, [b]gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)[/b]tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva.[/quote]
Hm, ova taktika mi se čini prilično nejasna... Glavnim testom se pitamo postoji li interpretacija za koju je zadana formula neistinita. Ako dobijemo da ne postoji, formula je valjana pa je automatski i ispunjiva. Međutim, ako nije valjana, to ne znači da nije ispunjiva (odnosno da je antitautologija).
Po meni, ono što ovdje treba gledati jest činjenica da ako je formula ispunjiva da onda ona nije antitautologija.
Ako formulu u 2.b) označimo s F, pitamo se je li (negiranoF) tautologija, tj po definiciji glavnog testa, postoji li interpretacija za koju je (negiranoF) tautologija. Dakle, prvi korak u glavnom testu jest (negiranoF) neistina, što se u drugom koraku svede na pitanje je li F istinita pa se problem bitno pojednostavni (s obziorm da imamo konjunkciju pa ne moramo odmah razgranati stablo).
Vjerujem da je ovako dobro. :wink:[/quote]
hm ne,ono sto je kolega/ica lanek napisao/la je dobro...jer ti tako samo nades da ih ima ali ne nades nijednu specificnu...tako mozes koristiti kada se trazi valjana(tautologija) nades jednu laz i bok al kad se trazi ispunjiva odnosno jedna interpretacija takva da je istinita onda nades tu jednu i bok.
(s)Venn (napisa): | lanek (napisa): | frutabella (napisa): | Zanima me 2. zadatak pod b) (kolokvij 2010):
Ako treba provjeriti jel formula ispunjiva, idemo gledati kad je formula laž (isto kao i za valjanost), jel tako?
U slucaju da svugdje dobijemo kontrdikciju, u svakoj gradni, znaci da je formula ispunjiva.
Zasto onda dole pita, ako je formula ispunjiva odredite neku interpretaciju koja na toj formuli ima vrijednost 0?
Kako cemo odrediti interpretaciju, ako je ssvugdje doslo do kontradikcije.
Na vjezbama smo određivali interpretacije kad dođemo do zive grane.
Zar nebi pitanje treablo ici, ako formula NIJE ISPUNJIVA odredite neku interpretaciju na toj formuli koja ima vrijednost 1.
Zbunjola... ![Confused](images/smiles/icon_confused.gif) |
ne, gleda se da li postoji interpretacija za koju je formula istinita (ako je,onda je ispunjiva)tj. ako dobiješ bar jednu živu granu,onda postoji interpretacija za koju je formula istinita i iščitaš ju iz te žive grane...a ako su sve grane mrtve,onda takva interpretacija ne postoji pa formula nije ispunjiva. |
Hm, ova taktika mi se čini prilično nejasna... Glavnim testom se pitamo postoji li interpretacija za koju je zadana formula neistinita. Ako dobijemo da ne postoji, formula je valjana pa je automatski i ispunjiva. Međutim, ako nije valjana, to ne znači da nije ispunjiva (odnosno da je antitautologija).
Po meni, ono što ovdje treba gledati jest činjenica da ako je formula ispunjiva da onda ona nije antitautologija.
Ako formulu u 2.b) označimo s F, pitamo se je li (negiranoF) tautologija, tj po definiciji glavnog testa, postoji li interpretacija za koju je (negiranoF) tautologija. Dakle, prvi korak u glavnom testu jest (negiranoF) neistina, što se u drugom koraku svede na pitanje je li F istinita pa se problem bitno pojednostavni (s obziorm da imamo konjunkciju pa ne moramo odmah razgranati stablo).
Vjerujem da je ovako dobro. ![Wink](images/smiles/icon_wink.gif) |
hm ne,ono sto je kolega/ica lanek napisao/la je dobro...jer ti tako samo nades da ih ima ali ne nades nijednu specificnu...tako mozes koristiti kada se trazi valjana(tautologija) nades jednu laz i bok al kad se trazi ispunjiva odnosno jedna interpretacija takva da je istinita onda nades tu jednu i bok.
_________________ tko rano rani,malo spava
|
|
[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] |
|
grizly Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=4945&c=39)
Pridružen/a: 26. 01. 2011. (21:30:01) Postovi: (27)16
Spol: ![žensko žensko](images/gender/female.gif)
|
Postano: 15:08 pet, 16. 12. 2011 Naslov: |
|
|
valjda negacija kondicionala, ali dobro :)
istina je da je ekvivalentno, ali ne smiješ to odmah, u tome i je zapravo poanta izvoda, da pokažeš IZVOD. E sad, NE B je jako jednostavno izvesti (pretpostavka 1 ti je A, pretpostavka 2 je B, pa iz toga dvoje imaš A i B, pa iz toga B, onda zatvaraš 1 i dobiješ da A povlači B, onda iskoristiš NE (A povlači B) pa imaš kontradikciju pa zatvoriš 2 i imaš NE B. Sa izvođenjem A zasad imam malo problema, ali čim uspijem javim :D
I, upali se lampica: pretpostavka 3, NE A, iz toga imaš NE A ili B. Pretpostavke 4, 5, 6 i 7 redom NE A, A, B, NE B (kako to obično ide kod eliminacije disjunkcije). Iz oba para dobiješ kontradikciju, pa zatvoriš 4 i 6 i zaključak je opet kontradikcija. Iz toga zatvoriš 7 i zaključiš NE NE B, odnosno B. Zatvoriš 5 i imaš A povlači B. Pored toga imaš NE (A povlači B), pa je opet kontradikcija pa zatvoriš 3 i zaključiš NE NE A, odnosno A. Nadam se da je jasno koja su se pravila koristila
valjda negacija kondicionala, ali dobro
istina je da je ekvivalentno, ali ne smiješ to odmah, u tome i je zapravo poanta izvoda, da pokažeš IZVOD. E sad, NE B je jako jednostavno izvesti (pretpostavka 1 ti je A, pretpostavka 2 je B, pa iz toga dvoje imaš A i B, pa iz toga B, onda zatvaraš 1 i dobiješ da A povlači B, onda iskoristiš NE (A povlači B) pa imaš kontradikciju pa zatvoriš 2 i imaš NE B. Sa izvođenjem A zasad imam malo problema, ali čim uspijem javim
I, upali se lampica: pretpostavka 3, NE A, iz toga imaš NE A ili B. Pretpostavke 4, 5, 6 i 7 redom NE A, A, B, NE B (kako to obično ide kod eliminacije disjunkcije). Iz oba para dobiješ kontradikciju, pa zatvoriš 4 i 6 i zaključak je opet kontradikcija. Iz toga zatvoriš 7 i zaključiš NE NE B, odnosno B. Zatvoriš 5 i imaš A povlači B. Pored toga imaš NE (A povlači B), pa je opet kontradikcija pa zatvoriš 3 i zaključiš NE NE A, odnosno A. Nadam se da je jasno koja su se pravila koristila
_________________ Nit' sam normalna nit' se s takvima družim
![Tux, doing some gymnastics](images/smiles/happy_tux.gif)
|
|
[Vrh] |
|
lorozic Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=3291&c=80)
Pridružen/a: 08. 12. 2008. (17:11:14) Postovi: (50)16
Spol: ![kućni ljubimac kućni ljubimac](images/gender/pet.gif)
|
|
[Vrh] |
|
pinkgirl Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=1868&c=430)
![](images/avatars/61666712545ca287c50d7a.jpg)
Pridružen/a: 30. 11. 2006. (21:08:16) Postovi: (1AE)16
Spol: ![žensko žensko](images/gender/female.gif)
Lokacija: K-K-Z
|
|
[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] |
|
Buga. Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=2785&c=398)
![](images/avatars/2269064804ff151d43f9be.jpg)
Pridružen/a: 20. 02. 2008. (22:04:58) Postovi: (18E)16
Spol: ![žensko žensko](images/gender/female.gif)
|
|
[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:53 pet, 30. 12. 2011 Naslov: |
|
|
Nisam bila na predzadnjem predavanju, pa me zanima da li je odrađeno sve sa slidova (kao recimo preneksna normalna forma...)?
I jos bih molila za pomoc oko proslogodisnjeg 3. zadatka iz teorije, na koji nacin se to dokazuje.
Hvala[/img]
Nisam bila na predzadnjem predavanju, pa me zanima da li je odrađeno sve sa slidova (kao recimo preneksna normalna forma...)?
I jos bih molila za pomoc oko proslogodisnjeg 3. zadatka iz teorije, na koji nacin se to dokazuje.
Hvala[/img]
Description: |
|
![](images/icon_clip.gif) Download |
Filename: |
2011..pdf |
Filesize: |
35.09 KB |
Downloaded: |
143 Time(s) |
|
|
[Vrh] |
|
mdoko Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=53&c=1818)
![](images/avatars/56368967941013ad28eb54.jpg)
Pridružen/a: 30. 11. 2002. (22:17:12) Postovi: (71A)16
Spol: ![muško muško](images/gender/male.gif)
Lokacija: Heriot-Watt University, Edinburgh
|
|
[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] |
|
mdoko Forumaš(ica)
![Forumaš(ica) Forumaš(ica)](dyck.php?id=53&c=1818)
![](images/avatars/56368967941013ad28eb54.jpg)
Pridružen/a: 30. 11. 2002. (22:17:12) Postovi: (71A)16
Spol: ![muško muško](images/gender/male.gif)
Lokacija: Heriot-Watt University, Edinburgh
|
Postano: 1:38 pon, 2. 1. 2012 Naslov: |
|
|
[quote="frutabella"]Bi li mogli molim Vas objasniti bar na jednom primjeru, razumijem sta treba raditi, ali na koji nacin to raspisati?[/quote]
Nema problema. Dakle, zadatak glasi:
Dokažite da za sve formule [i]F[/i] logike prvog reda vrijedi: [tex]\neg\forall xF\iff\exists x\neg F[/tex].
Dokaz ide ovako:
Neka je [tex]\mathfrak{M}[/tex] model s nosačem [i]M[/i] za koji vrijedi [tex]\mathfrak{M}\models \neg\forall xF[/tex], tj. [tex]\mathfrak{M}\not\models \forall xF[/tex], što znači da [b]postoji neki[/b] [tex]w\in M[/tex] za koji [tex]\mathfrak{M}\not\models F[w/x][/tex], odnosno [tex]\mathfrak{M}\models \neg F[w/x][/tex]. Po definiciji istinitosti to upravo znači da [tex]\mathfrak{M}\models \exists x \neg F[/tex].
Obratno, neka je [tex]\mathfrak{M}[/tex] model s nosačem [i]M[/i] za koji vrijedi [tex]\mathfrak{M}\models \exists x\neg F[/tex]. To znači da postoji neki [tex]u\in M[/tex] takav da [tex]\mathfrak{M}\models \neg F[w/x][/tex], što znači da [b]nije istina da za svaki[/b] [tex]v\in M[/tex] vrijedi [tex]\mathfrak{M}\models F[v/x][/tex], što znači da [tex]\mathfrak{M}\not\models \forall x F[/tex] tj. [tex]\mathfrak{M}\models \neg \forall x F[/tex].
frutabella (napisa): | Bi li mogli molim Vas objasniti bar na jednom primjeru, razumijem sta treba raditi, ali na koji nacin to raspisati? |
Nema problema. Dakle, zadatak glasi:
Dokažite da za sve formule F logike prvog reda vrijedi: [tex]\neg\forall xF\iff\exists x\neg F[/tex].
Dokaz ide ovako:
Neka je [tex]\mathfrak{M}[/tex] model s nosačem M za koji vrijedi [tex]\mathfrak{M}\models \neg\forall xF[/tex], tj. [tex]\mathfrak{M}\not\models \forall xF[/tex], što znači da postoji neki [tex]w\in M[/tex] za koji [tex]\mathfrak{M}\not\models F[w/x][/tex], odnosno [tex]\mathfrak{M}\models \neg F[w/x][/tex]. Po definiciji istinitosti to upravo znači da [tex]\mathfrak{M}\models \exists x \neg F[/tex].
Obratno, neka je [tex]\mathfrak{M}[/tex] model s nosačem M za koji vrijedi [tex]\mathfrak{M}\models \exists x\neg F[/tex]. To znači da postoji neki [tex]u\in M[/tex] takav da [tex]\mathfrak{M}\models \neg F[w/x][/tex], što znači da nije istina da za svaki [tex]v\in M[/tex] vrijedi [tex]\mathfrak{M}\models F[v/x][/tex], što znači da [tex]\mathfrak{M}\not\models \forall x F[/tex] tj. [tex]\mathfrak{M}\models \neg \forall x F[/tex].
_________________ Extraordinary claims require extraordinary evidence. – Carl Sagan
|
|
[Vrh] |
|
|