zkouskove otazky

honzik123
Matfyz(ák|ačka) level I
Příspěvky: 18
Registrován: 20. 1. 2006 19:43

zkouskove otazky

Příspěvek od honzik123 »

Ahoj,

nevim si rady s nasledujicima otazkama, meli by byt pomerne jednoduche, ale... Muze nekdo prosim poradit?

1) existuje teorie, ktera ma jen model s 1-3 prvkovou domenou?
2) existuje teorie, ktera ma konecny i nekonecny model?
3) Je predikatova logika uplna? Nejaky dukaz...
4) Necht T je teorie s jazykem L, necht S je maximalni bezesporna mnozina uzavrenych formuli jazyka L. Ukazte, ze S je uplna teorie. Za jakych podminek je (T u S) [sjednoceni] uplna teorie?

Diky moc
Odpovědět

Zpět na „2006“