dalsi priklad ze zkousky..

Uživatelský avatar
hydrant
Matfyz(ák|ačka) level III
Příspěvky: 196
Registrován: 4. 1. 2005 12:50
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Příspěvek od hydrant »

2 Vlk: JASNEEEEEEEE uz chapem. Vrela vdaka.

laliebijard píše: Model je ohodnotenie vyrokovych premennych, ktore sa nachadzaju vo formulach danej mnoziny.
No to prave nie je pravda. Model je ohodnotenie vsetkych premennych. To ze pravdivostna hodnota nejakej formuli zavisi iba od ohodnotenia premennych v tej formuli, je nepodstatne. Ak by si teda do tej teorie dal iba jednu formulu p<->q tak je to malo, pretoze tych premennych (v jazyku prveho radu) je nekonecne vela. tj. ak by si mal iba tuto formulu tak by si dostal nekonecne vela modelov... pretoze ostatne premenne si mozes ohodnotit lubovolne.
Uživatelský avatar
Trupik
Matfyz(ák|ačka) level III
Příspěvky: 251
Registrován: 3. 1. 2005 14:45
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Příspěvek od Trupik »

laliebijard píše: Model je ohodnotenie vyrokovych premennych, ktore sa nachadzaju vo formulach danej mnoziny.
No to prave nie je pravda. Model je ohodnotenie vsetkych premennych. To ze pravdivostna hodnota nejakej formuli zavisi iba od ohodnotenia premennych v tej formuli, je nepodstatne. Ak by si teda do tej teorie dal iba jednu formulu p<->q tak je to malo, pretoze tych premennych (v jazyku prveho radu) je nekonecne vela. tj. ak by si mal iba tuto formulu tak by si dostal nekonecne vela modelov... pretoze ostatne premenne si mozes ohodnotit lubovolne.[/quote]

No a zaver teda zni jak? Existuje teda mnozina formuli, ktera ma prave 2 modely?
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz

Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Uživatelský avatar
Dawe
Supermatfyz(ák|ačka)
Příspěvky: 360
Registrován: 12. 10. 2004 12:32
Typ studia: Informatika Mgr.
Bydliště: Doma a nebo na koleji

Příspěvek od Dawe »

Z VLO.pdf str37 a 38 je vidět, že jich ne nutně musí být nekonečně. Ono taky kdyby jich bylo nekonečně, tak bys pořád jen ohodnocoval a nedostal se k vyhodnocení :-)
Uživatelský avatar
hydrant
Matfyz(ák|ačka) level III
Příspěvky: 196
Registrován: 4. 1. 2005 12:50
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Příspěvek od hydrant »

Trupik píše: No a zaver teda zni jak? Existuje teda mnozina formuli, ktera ma prave 2 modely?
ano, uz som ju tu neraz napisal
Uživatelský avatar
laliebijard
Matfyz(ák|ačka) level III
Příspěvky: 168
Registrován: 8. 6. 2005 10:26
Typ studia: Informatika Mgr.

Příspěvek od laliebijard »

hydrant píše:
Trupik píše: No a zaver teda zni jak? Existuje teda mnozina formuli, ktera ma prave 2 modely?
ano, uz som ju tu neraz napisal
nechapem, potom si napisal, ze modelov je nekonecno...
"posteľ sa rozbieha po koľajniciach z modrého medu"

Breton
Uživatelský avatar
Almer
Site Admin
Příspěvky: 686
Registrován: 12. 10. 2004 10:58
Typ studia: Informatika Ph.D.
Bydliště: Mala Strana - 203
Kontaktovat uživatele:

Příspěvek od Almer »

laliebijard píše:
hydrant píše:
Trupik píše: No a zaver teda zni jak? Existuje teda mnozina formuli, ktera ma prave 2 modely?
ano, uz som ju tu neraz napisal
nechapem, potom si napisal, ze modelov je nekonecno...
Jsou li ty formule tautologie, pak jsou pravdive , pri kazdem ohodnoceni (tedy maji vice modelu.) Nekonecno jich neni, to ne, ale je jich presne 2^n kde n je pocet prvotnich formuli v dane formuli.:)

Uz chapes?
Zakládající člen klubu Ortodoxních Matfyzáků :-D

Jsem LAMER ale neumim se ani podepsat ]:-)
Odpovědět

Zpět na „2005“