dalsi priklad zo skusky.. 02
- 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
- dr.Bik
- Matfyz(ák|ačka) level II
- Příspěvky: 73
- Registrován: 9. 6. 2005 14:13
- Typ studia: Informatika Bc.
- Bydliště: Prágl
- Kontaktovat uživatele:
jo, !uzavrenou formuli!, mas pravdu
(Vx)(x=0)
1+1=0 je uzavrena
Kdyz je to takhle, tak v tom asi rozdil bude (nebo ta skripta nejsou bezesporna )
Podle me jde o to, ze uplny se tam pouziva ve dvou vyznamech, u formalniho systemu jde o ekvivalenci |- a |=, kdezto u teorii se jedna o definici uplnosti
(Vx)(x=0)
1+1=0 je uzavrena
Kdyz je to takhle, tak v tom asi rozdil bude (nebo ta skripta nejsou bezesporna )
Podle me jde o to, ze uplny se tam pouziva ve dvou vyznamech, u formalniho systemu jde o ekvivalenci |- a |=, kdezto u teorii se jedna o definici uplnosti
Jednou z hlavních příčin zániku Římského imperia bylo, že bez nuly nemohli Římané ohlásit úspěšné ukončení svých céčkových programů.
- 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:
co vzit misto x=0 formuli (Vx)(x=0) ... je uzavrena, v aritmetice neplati, ale treba v modelu, kde zadny individua krome 0 nemam plati, ne?MyS píše:Ale pozor, musis vzit UZAVRENOU formuli (def. uplny teorie)...dr.Bik píše:Vezmu formuli (je to PL s rovnosti) x=0
herdek, nejak jsem si nevsim posledni odpovedi... takze se trochu opakuju
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
- 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
http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...
Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
To že je bezesporná plyne z jakýsi věty T má model -> je bezesporná -> PL je bezesporná
Tohle vypadá jako celkem věrohodný zdroj...
Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
To že je bezesporná plyne z jakýsi věty T má model -> je bezesporná -> PL je bezesporná
- 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:
Ale muze mit vliv mnozina individui, ne?Dawe píše:http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...
Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
To že je bezesporná plyne z jakýsi věty T má model -> je bezesporná -> PL je bezesporná
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!
- MyS
- Donátor
- Příspěvky: 178
- Registrován: 22. 9. 2004 00:13
- Typ studia: Informatika Bc.
- Bydliště: The city of Dobříš
- Kontaktovat uživatele:
Pise se tam (8.str), ze:Dawe píše:http://axpsu.fpf.slu.cz/~vav10ui/obsahy ... logika.pdf
Tohle vypadá jako celkem věrohodný zdroj...
VL,PL 1. radu jsou uplne (tj. to je ten dukaz pres ty Henkinovy uplne teorie)
Teorie na nich postavene nemusi byt uplne (coz je ten dr.Bikuv protipriklad)
Dale VL je rozhodnutelna, PL neni.
Opravdu nechapu, proc to u stepanka nemuze bejt receno jasne. Tam je jakakoliv myslenka udusena teorii a dukazy. Ostatne jako u vetsiny veci tady na skole.
We don't need no education!
- dr.Bik
- Matfyz(ák|ačka) level II
- Příspěvky: 73
- Registrován: 9. 6. 2005 14:13
- Typ studia: Informatika Bc.
- Bydliště: Prágl
- Kontaktovat uživatele:
No, ja si prave myslim, ze tam do toho mluvi realizace. Podle vety o korektnosti totiz kdyz je dokazatelna, tak je pravdiva v kazde interpretaci jazyka, neboli, kdyz neni pravdiva v kazde interpretaci jazyka, tak neni dokazatelna...Dawe píše:Jinak když se to vezme tak nějak abstraktně, tak pokud mám uzavřenou formuly, je pro jakékoliv ohodnocení vždy buď pravdivá či nikoliv (ohodnocení nemá vliv na výsledek). To znamená, že pak buď ta formule vždy platí a nebo ne, pak |-A nebo |-nonA a jinak nelze.
Je v tom bordel
Jednou z hlavních příčin zániku Římského imperia bylo, že bez nuly nemohli Římané ohlásit úspěšné ukončení svých céčkových programů.
-
- Matfyz(ák|ačka) level I
- Příspěvky: 12
- Registrován: 18. 1. 2005 14:11
- Typ studia: Informatika Bc.
- Bydliště: Turzovka(SVK)
- Kontaktovat uživatele:
http://www.phil.muni.cz/fil/logika/pl.php
Tak podľa tu toho:
PL1 je úplná, bezesporná, ale nie je rozhodnuteľná
PL2 je bezesporná, ale nie je úplná
Tak podľa tu toho:
PL1 je úplná, bezesporná, ale nie je rozhodnuteľná
PL2 je bezesporná, ale nie je úplná
- 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:
necital som to, ale mozno maju inak definovanu uplnost.... a my sme rozhodnutelnost tusim vobec nemali.... takze ak to nemusi odporovat s tym, ze podla nasej definicie PL nie je uplnaCaparzzo píše:http://www.phil.muni.cz/fil/logika/pl.php
Tak podľa tu toho:
PL1 je úplná, bezesporná, ale nie je rozhodnuteľná
PL2 je bezesporná, ale nie je úplná
SKUSTE radsej niekde najst odpoved na 4 otazku... v testoch byva bezna. Ja som ju nasiel aj v pisomkovom teste a mal som to aj na zapoctovej pisomke
a stale to neviem D: