Zbiór pusty: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
→Własności: drobne merytoryczne |
ort. |
||
Linia 23:
* Dla dowolnego zbioru A zbiór pusty jest [[Relacja (matematyka)|relacją]] w A zwaną [[relacja pusta|relacją pustą]].
* Dla dowolnego zbioru A można określić funkcję <math>f:\varnothing \to A</math>, zwaną [[funkcja pusta|funkcją pustą]].
* Jeżeli <math>F(x)</math> jest dowolną [[funkcja zdaniowa|funkcją zdaniową]], to prawdą jest,
*: <math>\forall x \in \varnothing: ( F(x) \and \lnot F(x) )</math>
* Ponadto dla dowolnej funkcji zdaniowej <math>F(x)</math> i zbioru
*: <math>[\forall x \in A: ( F(x) \and \lnot F(x) )] \implies A = \varnothing</math>
* <math>\varnothing \ne \{\varnothing\} \ne \{\{\varnothing\}\}</math> etc.
| |||