Rasiowé-Sikorského lemma
Verze z 25. 10. 2014, 17:35, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky)
Mějme takové, že je definovaná . Pak existuje utrafiltr na takový, že kdykoli , pak i .
Důsledkem této věty je úplnost predikátové logiky.
Mějme takové, že
je definovaná
. Pak existuje utrafiltr
na
takový, že kdykoli
, pak i
.
Důsledkem této věty je úplnost predikátové logiky.
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897