Úplná teorie - Encyklopedie - Portál divoch.net

Hledat:

Invia.cz Last minute Tunisko Dovolená v Chorvatsku Pojeďte do Egypta Bulharsko Last minute Kréta
 

Úplná teorie

V matematické logice se pojmem úplná teorie označuje teorie, která je bezesporná a jejíž každé rozšíření je sporné. V klasické logice to je ekvivalentní tvrzení, že pro každou sentenci S obsahuje S nebo \neg S.

Podle lemmatu Lindenbauma lze každou bezespornou teorii rozšířit na bezespornou úplnou teorii, tj.


(\forall T \subseteq S) \operatorname{Cn}(T) \neq S \rightarrow (\exists U \subseteq S) T \subseteq U \land \operatorname{Cn}(U) \neq S \land (\forall V \subseteq S) U \subsetneq V \rightarrow \operatorname{Cn}(V)=S

kde Cn je operátor konsekvence.

Související články[editovat | editovat zdroj]

 
Tento článek je převzat z české wikipedie - otevřené encyklopedie, originální článek naleznete na adrese: „https://cs.wikipedia.org/w/index.php?title=Úplná_teorie&oldid=12630296
Stránka byla naposledy upravena 31. 5. 2015 v 16:42. Editovat celý článek Úplná teorie.
Text je dostupný pod licencí Creative Commons Uveďte autora – Zachovejte licenci 3.0 Unported, případně za dalších podmínek. Podrobnosti naleznete na stránce Podmínky užití.
Další služby: Portál | Katalog | Hledej | Zprávy | Počasí | Kurzy | Práce | Slovník | TV | Online hry | Java hry | SMS | Loga a melodie | Chat | Fórum | Kontakt | Set-top-boxy