kvantorlar. predikatlar mantig'ining alfaviti

PPTX 1,7 МБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇

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

Хотите читать дальше?

Скачайте полный файл бесплатно через Telegram.

Скачать полный файл

О "kvantorlar. predikatlar mantig'ining alfaviti"

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, 1,7 МБ. Чтобы скачать "kvantorlar. predikatlar mantig'ining alfaviti", нажмите кнопку Telegram слева.

Теги: kvantorlar. predikatlar mantig'… PPTX Бесплатная загрузка Telegram