kvantorlar. predikatlar mantig'ining alfaviti

PPTX 1,7 MB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇

1727248195.pptx kvantorlar. predikatlar mantiqining alfaviti kvantorlar. predikatlar mantiqining alfaviti predikatlar haqida batafsil (3) 01 mulohazalar haqida qisqacha reja : predikatlar mantiqining teng kuchli formulalari 02 03 predikatlar haqida . umumiylik va mavjudlik kvantorlari mulohazalar haqida 01 mulohaza faqat chin yoki yolg’on qiymatni qabul qiladi va ularningi mazmuniga va tuzilishiga e’tibor berilmaydi . asos va xulosa mulohazalar mantiqining elementar mulohazalari bo’ladi va ularni bo’linmas, bir butun deb ichki tuzilishini hisobga olmasdan qaraladi . biz mulohazalar ustida konyunksiya, dizyunksiya, implikatsiya, ekvivalensiya… kabi amallarni bajara olamiz. mulohazalar mantiqidagi mantiqiy amallar ustida qanday amallarni bajara olsak , bu amallarni predikatlar ustida ham bajara olamiz . mulohazalar ustida bajariladigan amallar predikatlar haqida . umumiylik va mavjudlik kvantorlari predikatlar elementar mulohazani subyekt vapredikat qismlarga bo’ladi . subyekt mulohazada biror narsa haqida nimanidir tasdiqlaydi . predikat esa shu subyektni tasdiqlaydi . 02 misol : bu yerda 6 subyekt , juft son esa predikat bo’ladi . agar 6 …

deb aytiladi . umumiylik kvantori m to’plamda aniqlangan p(x) predikat m to’plamdan olingan har qanday x uchun p(x) chin qiymat qabul qilsa , bu predikat x ga bog’liq bo’lmay qoladi va mulohazaga aylanadi va xp(x) kabi belgilanadi . mavjudlik kvantori m to’plamda aniqlangan p(x) predikat m to’plamdan olingan kamida 1 ta x uchun p(x) chin qiymat qabul qilsa , bu predikat x ga bog’liq bo’lmay qoladi va mulohazaga aylanadi va xp(x) kabi belgilanadi . 03 predikatlar haqida 3 predikatlar ustida mantiqiy amallar predikatlar mantiqining formulasi va qiymati predikatlar mantiqining teng kuchli formulalari 1 2 3 predikatlar ustida mantiqiy amallar a(x) va b(x) predikatlarning kon’yunksiyasi(a(x) a(x) va b(x) predikatlar bir vaqtda chin qiymat qabul qilganida chin qiymat , qolgan hollarda esa yolg’on qiymat qabul qiladigan yangi predikatga aytiladi va uning chinlik sohasi ( ia ib ) to’plamdan iborat . a(x) va b(x) predikatlarning dizyunksiyasi(a(x)vb(x)) a(x) va b(x) predikatlarning dizyunksiyasi deb ikkala …

langan a(x) va b(x) predikatlar berilgan bo’lsin f(x1,x2,…,xn) formula bo’la oladi , x1,x2,…,xn lar o’zgaruvchi yoki o’zgarmas bo’lsa . va ular kvantorlar bilan bog’lanmagan bo’lishi kerak. shunda elementar formula bo’ladi . a va в shunday formulalarki, birorta predmet о ‘zgaruvchi birida erkin va ikkinchisida bog'langan o'zgaruvchi bo'lmasa, avb, ab, ab, ab formula bo’ladi . predikatlar mantiqining formulasi va qiiymati har qanday o’zgaruvchi yoki o’zgarmas elementar mulohaza formula bo’ladi . ham formula bo’ladi va a formuladan ga o’tganda o’zgaruchilarning xarakteri o’zgarmaydi . a(x) formula ifodasiga x predmet o’zgaruvchi erkin holda kirsa va mulohazalar formula bo’ladi va x ularga bog’langan holda kiradi . bulardan tashqari har qanday mulohaza formula bo’la olmaydi . predikatlar mantiqining teng kuchli formulalari ≡ ≡ ≡ ≠ vb(x)) v b(y)) ≡ b(x)) ≠ b(x)) b(y)) ≡ b(x)) x(c v b(х)) ≡ с v xb(x) x(c b(х)) ≡ с xb(x) x(c b(х)) ≡ с xb(x) x(cb(х)) ≡ (сxb(x))(b(x)c) x(c …

kvantorlar. predikatlar mantig'ining alfaviti - Page 4

kvantorlar. predikatlar mantig'ining alfaviti - Page 5

Ko'proq o'qimoqchimisiz?

Faylni Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"kvantorlar. predikatlar mantig'ining alfaviti" haqida

1727248195.pptx kvantorlar. predikatlar mantiqining alfaviti kvantorlar. predikatlar mantiqining alfaviti predikatlar haqida batafsil (3) 01 mulohazalar haqida qisqacha reja : predikatlar mantiqining teng kuchli formulalari 02 03 predikatlar haqida . umumiylik va mavjudlik kvantorlari mulohazalar haqida 01 mulohaza faqat chin yoki yolg’on qiymatni qabul qiladi va ularningi mazmuniga va tuzilishiga e’tibor berilmaydi . asos va xulosa mulohazalar mantiqining elementar mulohazalari bo’ladi va ularni bo’linmas, bir butun deb ichki tuzilishini hisobga olmasdan qaraladi . biz mulohazalar ustida konyunksiya, dizyunksiya, implikatsiya, ekvivalensiya… kabi amallarni bajara olamiz. mulohazalar mantiqidagi mantiqiy amallar ustida qanday amallarni bajara olsak , bu amallarni predikatlar ustida ham baj...

PPTX format, 1,7 MB. "kvantorlar. predikatlar mantig'ining alfaviti"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: kvantorlar. predikatlar mantig'… PPTX Bepul yuklash Telegram