Matematický ústav Slezské univerzity v Opavě Logika a teorie množin M. Marvan
Kontrolní otázky
Schéma axiomů specifikace. Další axiomy.
Následující kontrolní otázky se týkají učebního textu Logika a teorie množin, str. 8 až 11. Pokud dokážete na všechny pohotově odpovědět, je to pro Vás znamením, že se v látce dostatečně orientujete a můžete pokračovat v samostudiu. Pokud něčemu nerozumíte nebo si nejste jisti, ptejte se.
1. Co je třída specifikovaná formulí? Co jsou její prvky?
2. Co je univerzální třída? Co jsou její prvky?
3. Co je prázdná třída? Co jsou její prvky?
4. Co je průnik, sjednocení, rozdíl dvou tříd? Co jsou jejich prvky?
5. Kdy jsou dvě třídy v inkluzi?
6. Co znamenají zápisy (3X G U)<j){X) a (VX G U)<j){X)7
7. Je-li U třída, co je pUl Jaké má prvky?
8. Je každá podtřída množiny množinou?
9. Je třída všech podmnožin množiny množinou?
10. Je prázdná třída množinou?
11. Je univerzální třída množinou?