kvantor amallarining xossalari

PDF 3 стр. 398,1 КБ Бесплатная загрузка

3 стр.

FaylHub.uz

Скачать через Telegram

Размер 398,1 КБ

Тип файла PDF

Страницы 3

Обновлено Дек 2025

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

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

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. ■ …

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

Скачайте все 3 страниц бесплатно через Telegram.

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

О "kvantor amallarining xossalari"

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...

Этот файл содержит 3 стр. в формате PDF (398,1 КБ). Чтобы скачать "kvantor amallarining xossalari", нажмите кнопку Telegram слева.

Теги: kvantor amallarining xossalari PDF 3 стр. Бесплатная загрузка Telegram