kvantor amallarining xossalari

PDF 3 sahifa 398,1 KB Bepul yuklash

3 sahifa

FaylHub.uz

Telegram orqali yuklab olish

Hajm 398,1 KB

Fayl turi PDF

Sahifalar 3

Yangilangan Dek 2025

Sahifa ko'rinishi (3 sahifa)

Pastga aylantiring 👇

1 / 3

mavzu: kvantor amallarining xossalari. teng kuchli formulalarni qo‘llanilishi 1. kvantorlar va ularning xossalari. predikat formulalarining deyarli normal shakli. m to‘plamda aniqlangan )(xρ predikat berilgan bo‘lsin. agar ma ni )(xρ predikatning x argumenti o‘rniga qo‘ysak, u holda bu predikat )(aρ mulohazaga aylanadi. predikatlar mantiqida yuqorida ko‘rilganlardan tashqari yana ikkita amal mavjudki, ular bir joyli predikatni mulohazaga aylantiradi. umumiylik kvantori. m to‘plamda aniqlangan )(xρ predikat berilgan bo‘lsin. har qanday mx uchun )(xρ chin va aks holda yolg‘on qiymat qabul qiluvchi mulohaza ifodasini )(xxρ shaklda yozamiz. bu mulohaza endi x ga bog‘liq bo‘lmay qoladi va u quyidagicha o‘qiladi: «har qanday x uchun )(xρ chin».  simvol umumiylik kvantori deb ataladi. aytilgan fikrlarni matematik ifodalar vositasida quyidagicha yozish mumkin:      .holdaaks,0 ,lgandabo'1)(uchunbarcha,1 )( xpmx xxρ )(xρ predikatda x ni erkin (ozod) o‘zgaruvchi va )(xxρ mulohazada x ni umumiylik kvantori  bilan bog‘langan o‘zgaruvchi deb ataladi. mavjudlik kvantori. )(xρ predikat m …

2 / 3

p (yoki bir joyli ),( yxxp ) predikatni mos qilib qo‘yadi. bir joyli ),( yxxp ( ),( yxxp ) predikat faqat y o‘zgaruvchiga bog‘liq, x o‘zgaruvchiga esa bog‘liq emas. ularga y bo‘yicha kvantorli amallarni qo‘llaganimizda quyidagi mulohazalarga ega bo‘lamiz: ),( yxxpy , ),( yxxpy , ),( yxxpy , ),( yxxpy . bu misoldan ko‘rinib turibdiki, umumiy holda kvantorlar tartibi o‘zgarishi bilan mulohazaning mazmuni va, demak, uning mantiqiy qiymati ham o‘zgaradi. chekli sondagi elementlari bo‘lgan },...,,{ 21 naaam  to‘plamda aniqlangan )(xp predikat berilgan bo‘lsin. agar )(xp predikat aynan chin bo‘lsa, u holda )(),...,(),( 21 napapap mulohazalar ham chin bo‘ladi. shu holda )(xxp mulohaza va )(...)()( 21 napapap  kon’yunksiya ham chin bo‘ladi. agar hech bo‘lmaganda bitta mak  element uchun )( kap yolg‘on bo‘lsa, u holda )(xxp mulohaza va )(...)()( 21 napapap  kon’yunksiya ham yolg‘on bo‘ladi. demak, )(...)()()( 21 napapapxxp  teng kuchli ifoda to‘g‘ri bo‘ladi. yuqoridagidek fikr yuritish …

3 / 3

ariladi, ya’ni normal shakldagi formula quyidagi ko‘rinishda bo‘ladi: ),...,,()(.....))(( 2121 mn xxxaxxx  , mn  , bunda )( ix simvoli o‘rnida ix yoki ix kvantorlardan biri yoziladi deb tushuniladi va a formula ifodasida kvantorlar bo‘lmaydi. 1- t e o r e m a . predikatlar mantiqining har qanday formulasini normal shaklga keltirish mumkin. agar formulani normal shaklga keltirish jarayonida )()( xxbxxa  yoki )()( xxbxxa  ko‘rinishdagi ifodalarni ko‘rishga to‘g‘ri kelsa, u holda )]()([)()( xbxaxxxbxxa  , )]()([)()( xbxaxxxbxxa  teng kuchliliklardan foydalanish kerak bo‘ladi. 2. namunaviy misol va masala hamda uning yechimi. 1- m i s o l . n natural sonlar to‘plamida )(xρ predikat berilgan bo‘lsin: « x – tub son». kvantorlardan foydalanib ushbu predikatdan quyidagi mulohazalarni hosil qilish mumkin: )(xxp – «hamma natural sonlar tub sonlar bo‘ladi»; )(xxp – «shunday natural son mavjudki, u tub son bo‘ladi». ravshanki, birinchi mulohaza yolg‘on va ikkinchi mulohaza chindir. ■ …

Ko'proq o'qimoqchimisiz?

Barcha 3 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"kvantor amallarining xossalari" haqida

mavzu: kvantor amallarining xossalari. teng kuchli formulalarni qo‘llanilishi 1. kvantorlar va ularning xossalari. predikat formulalarining deyarli normal shakli. m to‘plamda aniqlangan )(xρ predikat berilgan bo‘lsin. agar ma ni )(xρ predikatning x argumenti o‘rniga qo‘ysak, u holda bu predikat )(aρ mulohazaga aylanadi. predikatlar mantiqida yuqorida ko‘rilganlardan tashqari yana ikkita amal mavjudki, ular bir joyli predikatni mulohazaga aylantiradi. umumiylik kvantori. m to‘plamda aniqlangan )(xρ predikat berilgan bo‘lsin. har qanday mx uchun )(xρ chin va aks holda yolg‘on qiymat qabul qiluvchi mulohaza ifodasini )(xxρ shaklda yozamiz. bu mulohaza endi x ga bog‘liq bo‘lmay qoladi va u quyidagicha o‘qiladi: «har qanday x uchun )(xρ chin».  simvol umumiylik kvantori deb ataladi. aytilga...

Bu fayl PDF formatida 3 sahifadan iborat (398,1 KB). "kvantor amallarining xossalari"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: kvantor amallarining xossalari PDF 3 sahifa Bepul yuklash Telegram