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.laliebijard píše: Model je ohodnotenie vyrokovych premennych, ktore sa nachadzaju vo formulach danej mnoziny.
dalsi priklad ze zkousky..
- 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:
2 Vlk: JASNEEEEEEEE uz chapem. Vrela vdaka.
- 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:
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]laliebijard píše: Model je ohodnotenie vyrokovych premennych, ktore sa nachadzaju vo formulach danej mnoziny.
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!
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!
- laliebijard
- Matfyz(ák|ačka) level III
- Příspěvky: 168
- Registrován: 8. 6. 2005 10:26
- Typ studia: Informatika Mgr.
- Login do SIS: repij4am
- Almer
- Site Admin
- Příspěvky: 686
- Registrován: 12. 10. 2004 10:58
- Typ studia: Informatika Ph.D.
- Login do SIS: lasap4am
- Bydliště: Mala Strana - 203
- Kontaktovat uživatele:
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.laliebijard píše:nechapem, potom si napisal, ze modelov je nekonecno...hydrant píše:ano, uz som ju tu neraz napisalTrupik píše: No a zaver teda zni jak? Existuje teda mnozina formuli, ktera ma prave 2 modely?
Uz chapes?
Zakládající člen klubu Ortodoxních Matfyzáků
Jsem LAMER ale neumim se ani podepsat ]
Jsem LAMER ale neumim se ani podepsat ]