Rasiowé-Sikorského lemma: Porovnání verzí

Verze z 25. 10. 2014, 17:35

Mějme $S_{n}\subseteq \mathbb {B}$ takové, že $\bigwedge S_{n}$ je definovaná $\forall n\in \omega$ . Pak existuje utrafiltr $U$ na $\mathbb {B}$ takový, že kdykoli $S_{n}\subseteq U$ , pak i $\bigwedge S_{n}\in U$ .

Důsledkem této věty je úplnost predikátové logiky.

Verze z 25. 10. 2014, 17:34 (zobrazit zdroj) Veronika.Kovrzkova (diskuse \| příspěvky) (Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“)		Verze z 25. 10. 2014, 17:35 (zobrazit zdroj) Veronika.Kovrzkova (diskuse \| příspěvky) Porovnání s novější verzí →
Řádek 1:		Řádek 1:
−	Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utrafiltr <math>U</math> na <math>\mathbb{B}</math> takový, že kdykoli <math>S_{n} \subseteq U</math>, pak i <math>\bigwedge S_{n} \in U</math>.	+	Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega</math>. Pak existuje utrafiltr <math>U</math> na <math>\mathbb{B}</math> takový, že kdykoli <math>S_{n} \subseteq U</math>, pak i <math>\bigwedge S_{n} \in U</math>.

	Důsledkem této věty je '''úplnost predikátové logiky'''.		Důsledkem této věty je '''úplnost predikátové logiky'''.