Priklad

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
umpalumpa

Priklad

Příspěvek od umpalumpa »

Dobry den,resim ukol na logiku:Urcete vsechny neekvivalentni kompletni jednoduche extenze teorie nekonecnych vektorovych prostoru nad telesem F.
Mohl by mi prosim nekdo pomoc aspon s nastrelem resenim,sem uz zoufaly :( .
tomm

Re: Priklad

Příspěvek od tomm »

Podle tabulky na str.62 z Mlčkových skript žádné takové extenze nemá. Ale neber mě za slovo...
Krakonoš
Matfyz(ák|ačka) level I
Příspěvky: 14
Registrován: 29. 1. 2009 11:31
Typ studia: Informatika Mgr.

Re: Priklad

Příspěvek od Krakonoš »

Ahoj,

jeden by řekl, že když je teorie nek. VP_F kompletní, tak nebude mít žádnou nespornou extenzi (a sporné se podle mě neuvažují jako jednoduché, resp. se neuvažují dokud o nich neřeknem že se uvažují). Není to tak? To odpovídá tomu, že podle tabulky extenzi nemá.
umpalumpa

Re: Priklad

Příspěvek od umpalumpa »

Dekuji vam za odpovedi,z kompletnosti teorie to je uz jasny,diky moc :)
Odpovědět

Zpět na „AIL062 Výroková a predikátová logika“