Predikatlar va kvantorlar. Paradokslar va sofizmlar

Misol. bo’lsa ={0,3} bo’ladi.
Ta’rif: B toplam A ning qisim to’plami bo’lganda A\B to’plam B ni A gacha to’ldiruvchi to’plam deyiladi va uni yoki C_AB orqali belgilanadi.
Ta’rifga ko’ra A\B= bo’lib bo’ladi.
Misol. bo’lgani uchun Z\N={…, -n,…, -2, -1, 0}= bo’lib bo’ladi.
Ta’rif: Har qanday to’plamning xos qismi to’plami bo’lmagan to’plamga unversial to’plam deyiladi.
Unversial to’plam U harifi bilan belgilaylik.
Quydagi xossalar o’rinli:
1⁰. ;
2⁰. ;
3⁰.
To’plamlar ustida amallarni Eyler-Ven diagrammalari orqali ham bajarish mumkin. (Mustaqil ta’limda o’rganiladi).


Adabiyotlar.

1. 
   R. N. Nazarov, B. T. Toshpo’latov, A. D. Do’simbetov. Algebra va sonlar nazariyasi. 1-qism. Toshkent. O’qituvchi. 1993 y. (35-39 betlar)
   
2. 
   Куликов Л. Я. Алгебра и теория чисел. Москва: Высш.шк. 1979 г. (стр 5-14).gan.
   
3. 
   www.ziyonet.uz