predikatlar. kvantorlar.to’plam. to’plamosti

DOCX 76,3 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1662976215.docx z n í n z n n = u u u a = u a u a = i ) ( x f x î $ ø. , ø = = u u ) ( x f x î " ) , 1 ( n i f i = , , i i f f $ " i f ) ( ), ( ), ( g f g f g f þ ù ú ) ( f g þ þ ý ü î í ì ¹ = = son butun ixtiyoriy 0 , / q va p q p r r q a a î a a ï a b í í z n í a b ì b a u } / { b x yoki a x x b a î î = u u u u u n i i n a a a a 1 …

i orasidagi p munosabatni bildiradi. bir o’rinli predikatni unar, ikki o’rinli predikatni binar, uch o’rinli predikatni ternar predikatlar deyiladi. nol o’rinli predikat o’zgarmas muloxazani bildiradi. masalan, p(x): “x – tub son” – bir o’rinli predikat, p(x; y): “x+y=5” – ikki o’rinli predikat, p(x; y; z): “x+2y+z=0” – uch o’rinli predikat bo’ladi. ta’rif: m to’plamning p(x) predikatni rost muloxazaga aylantiruvchi d qism to’plamiga p(x) predikatning rostlik sohasi deyiladi. ta’rif: agar p(x) predikat m to’plamning barcha elementlarida rost (yolg’on) bo’lsa, u holda p(x) predikat m to’plamda aynan rost (yolg’on) deyiladi. bundan tashqari bajariluvchi predikat ham mavjud bo’lib, ular [1, 2] da keltirilgan. n o’rinli predikatlar uchun ham aynan rost, aynan yolg’on predikatlar tushunchasini aniqlash mumkin. masalan, “x<0” – predikat n to’plamda aynan yolg’on, “x -musbat” predikat n to’plamda aynan rost predikat, “x-toq son” predikat esa n to’plamda bajariluvchi predikat bo’ladi. predikatlardan muloxaza hosil qilishning quyidagi ikkita usuli bilan tanishaylik: biror m to’plamning …

har qanday muloxaza va predikat predikatlar logikasining formulasidir; 2) agar formula bo’lsa, u holda ┐lar ham formuladir; 3) agar f va g formula bo’lsa, u holda va ham predikatlar logikasining formulasi bo’ladi; 4) predikatlar mantiqidagi formulalar faqat 1), 2), 3) formulalar orqali tuziladi. matematik muloxazalarni mantiqiy belgilar yordamida yozish uchun odatda chekli sondagi bazis predmetlar tanlab olinadi. qolgan xossa va munosabatlar bazis predikatlar hamda erkli o’zgaruvchilar yordamida tuzilgan ta’rif, teoremalar orqali ifodalanadi. matematikada eng muhim tushunchalardan biri to’plam tushunchasidir. bu tushunchaga birinchi marta nemis matematigi georg kantor asos soldi. to’plamga ta’rif berib bo’lmaydi, uni ba’zi bir narsalar, buyumlar, ob’yektlarning majmui deb qaraladi. to’plamni lotin yoki grek alifbosining bosh xarflari orqali belgilanadi. ta’rif: to’plamni tashkil etuvchi ob’yektlar shu to’plamning elementlari deyiladi. to’plamning elementlari lotin yoki grek alifbosining kichik xarflari orqali belgilanadi. elementlari a, b, c, ... bo’lgan a to’plamni a={a, b, c,…} ko’rinishda yoziladi. ta’rif: elementlari soni chekli bo’lgan to’plamni chekli …

plamning ixtiyoriy elementi b to’plamda mavjud bo’lsa, u holda a va b to’plamlar teng deyiladi va uni a=b ko’rinishda belgilanadi. ta’rif: agar b to’plamning barcha elementi a to’plamda mavjud bo’lsa, u holda b to’plam a to’plamning qism to’plami (to’plamosti) deyiladi va uni belgilanadi. belgi saqlanish belgisi deyiladi. masalan, - barcha natural sonlar to’plami barcha butun sonlar to’plamining to’plamostisi bo’ladi. ta’rif: b to’plamning barcha elementlari a to’plamda mavjud bo’lib, a da yana b ga tegishli bo’lmagan elementlar ham mavjud bo’lsa, u holda b to’plam a to’plamning xos qism to’plami (xosto’plamosti) deyiladi va uni orqali belgilanadi. ta’rif: bitta ham elementga ega bo’lmagan to’plam bo’sh to’plam deyiladi va uni ø yoki {} ko’rinishda belgilanadi. masalan, x2+4=0 tenglamaning haqiqiy yechimlari to’plami bo’sh to’plam bo’ladi. ta’rif: a to’plamning o’zi va ø to’plam shu a to’plamning xosmas qism to’plami deyiladi. ø to’plam har qanday to’plamning to’plamostisi bo’ladi. istalgan n ta elementli to’plamning barcha qism to’plamlari soni …

$ladi. to’plamlarning kesishmasini chekli sondagi a1, a2, …, an to’plamlar uchun kiritish mumkin, ya’ni bo’lib, bu to’plam larning barchasiga tegishli bo’lgan elementlardan tuziladi. misol. a={0, 1, 2}, b={1, 2, 3} bo’lsa, u holda bo’ladi. to’plamlarning kesishmasi quydagi xossalarga ega: 1. ; 2. ; 3. ; 4. . bu xossalarning ayrimlarining isboti [1, 2] da keltirilgan. to’plamlarning birlashmasi va kesishmasidan quyidagi xossalar kelib chiqadi: 1. - (birlashmaning kesishmaga nisbatan tarqatish (distributiv) qonuni); 2. (kesishmaning birlashmaga nisbatan tarqatish (distributiv) qonuni); 1-xossaning isboti [1] da keltirilgan. 1, 2-xossalar istalgan sondagi to’plamlar uchun ham o’rinli bo’ladi, ya’ni , bo’ladi. ta’rif: a to’plamdan b to’plamning ayirmasi deb a ga tegishli, lekin b ga tegishli bo’lmagan barcha elementlardan tuzilgan to’plamga aytiladi va uni a\b ko’rinnishda belgilanadi. misol. bolsa u holda a\b={0}, b\a={3} bo’ladi. quydagi de-morgan qonunlari o’rinli: , . invalyutsiya qonuni: . ta’rif: a ning b da va b ning a da bo’lmagan elementlaridan tuzilgan to’plamga …$

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"predikatlar. kvantorlar.to’plam. to’plamosti " haqida

1662976215.docx z n í n z n n = u u u a = u a u a = i ) ( x f x î $ ø. , ø = = u u ) ( x f x î " ) , 1 ( n i f i = , , i i f f $ " i f ) ( ), ( ), ( g f g f g f þ ù ú ) ( f g þ þ ý ü î í ì ¹ = = son butun ixtiyoriy 0 , / q va p q p r r q a a î a a ï a b í í z n í a b ì b …

DOCX format, 76,3 KB. "predikatlar. kvantorlar.to’plam. to’plamosti "ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: predikatlar. kvantorlar.to’plam… DOCX Bepul yuklash Telegram