Fanidan tayyorlagan
Download 286.07 Kb.
|
Raxmonova Xojiniso
- Bu sahifa navigatsiya:
- Ta’rif
- Misol
- 1.2-§. Teng kuchli formulalar va asosiy teng kuchliliklar Ta’rif
- Teorema
- 3.3-Teorema
- FOYDALANILGAN ADABIYOTLAR.
|
5. Ekvivalensiya amali.
Ta’rif: p va q mulohazalarning ekvivalensiyasi deb p va q larning bir xil qiymatlarida rost, turli qiymatlarida yolg’on bo’lgan yangi mulohazaga aytiladi va uni ko’rinishda belgilanadi. Ekvivalensiya amaliga “Agar … bo’lsa, shu holda va faqat shu holda ... bo’ladi”, “...bajarilishi uchun ... bajarilishi zarur va etarli” kabi bog’lovchi so’zlar mos keladi. Masalan, p: “berilgan natural son 3 ga bo’linadi”, q: “berilgan sonning raqamlar yig’indisi 3 ga bo’linadi”. pq: “Berilgan sonning 3 ga bo’linishi uchun uning raqamlari yig’indisi 3 ga bo’linishi zarur va yetarli”. Ekvivalensiya amaliga quyidagi rostlik jadvali mos keladi:
Har bir qaralayotgan mulohazaga rostlik ustunidan bitta ustun mos keladi. Bu ustunni qiymatlar ustuni deb yuritamiz. Ta’rif: Qiymatlari ustuni teng bo’lgan mulohazalar o’zaro teng kuchli mulohazalar deyiladi. Masalan: p=>q va ┐q=>┐ p mulohazalarning teng kuchliligini quyidagi rostlik jadvali orqali ko’rsataylik:
p=>q va ┐q=>┐p mulohazalarning ustuni bir xil bo’lgani uchun p=>q=┐q=>┐p bo’ladi. Ta’rif: universial algebra mulohazalar algebrasi deb yuritiladi. Tarif: 1. p, q, r,... lar mulohazalar algebrasining formulalaridir. 2. Agar p va q lar mulohazalar algebrasining formulalari bo’lsa, u holda ┐p, p q, p q, p=>q, pq ham formula bo’ladi. 3. Mulohazalar algebrasidagi formulalar faqat 1-va 2-formulalar yordamida tuziladi. Ko’p hollarda 2. yordamida aniqlangan formulalar murakkab formulalar deb yuritiladi. Murakkab formulaga argumentlari rost yoki yolg’on qiymatni qabul qiluvchi funktsiya deb qarash mumkin. Ta’rif: xi, argumentlarning har bir qabul qilishi mumkin bo’lgan barcha 1 va 0 qiymatlar tizimida A(x1, x2,…,xn) formulani ifodalovchi mantiqiy funktsiya rost (yolg’on) qiymatga erishsa, u holda bu formula aynan rost (yolg’on) formula deyiladi. Misol:
Agar A(x1, x2, …, xn) formulada n ta elementar mulohaza bo’lsa, u holda bu formulaning rostlik jadvali 2n ta satr (yo’l) dan iborat bo’ladi. 1.2-§. Teng kuchli formulalar va asosiy teng kuchliliklar Ta’rif: Tarkibidagi xi(i= ) o’zgaruvchilarning mumkin bo’lgan barcha qiymatlar tizimida A(x1, x2, …, xn) va B(x1, x2, …, xn) formulalarning qiymatlari ustuni bir xil bo’lsa, u holda bu formulalar o’zaro teng kuchli formulalar deyiladi va uni A(x1, x2, …, xn)≡B(x1, x2, …, xn) ko’rinishda belgilanadi. Misol:
Agar va formulalar teng kuchli bo’lsalar, u holda va lar aynan rost formulalar bo’lishi ravshandir. Aksincha, qandaydir va (bir xil propozitsional o’zgaruvchilarga ega bo’lgan) formulalar uchun va lar aynan rost furmulalar bo’lsa, u holda bo’ladi. va formulalar teng kuhli formulalar ekanini ko’rsataylik:
Shunday qilib, bu tengkuchliliklarnda ko’rinadiki, bo’lishi uchun formula aynan rost formula bo’lishi zarur va yetarlidir. Teng kuchli bo’lish munosabati ekvivalent binary munosabat ekanligi ravshandir, ya’ni bu munosabat –refleksivlik. Agar bo’lsa, u holda bo’ladi – simmetriklik va Agar va bo’lsa, u holda bo’ladi – tanzitivlik xossalariga egadir. Teorema: – jumlalar algebrasining ixtiyoriy formulasi, uning qism formulasi bo’lsin. agar bo’lsa, u holda bo’ladi. Isboti: bo’lgani uchun va formulalar ularda qatnashgan propozitsional o’zgaruvchilar qiymatlarining barcha naborlarida bir xil qiymatlarga erishadilar. va formulalarning qiymatlari yoki bo’lgani uchun yo , yoki hosil bo’ladi. Bu esa ekanini ko’rsatadi. Teorema: , lar va formulalarning har birida qatnashgan barcha propozitsional o’zgaruvchilar, lar esa ixtiyoriy formulalar bo’lsin. U holda bo’ladi; bunda har bir propozitsional o’zgaruvchi berilgan tengkuchlilikda necha joyda qatnashgan bo’lsa, shuncha joyda mos formula bilan almashtiriladi. Isbot. tengkuchlilikda qatnashgan har bir propozitisional o’zgaruvchi 1 yoki 0 qiymat qabul qiladi. formula ham o’zida qatnashgan propozitsional o’zgaruvchilar qiymatlarining barcha naborlarida 1 yoki 0 qiymat qabul qiladi. formula tarkibida qatnashgan propozitsional o’zgaruvchilar bo’lsin. bu propozitsional o’zgaruvchilar qiymatlari naborlaridan biri va formulalarning nabordagi qiymatlari nabori bo’lsin. uzunligi bo’lgan nabor propozitsional o’zgaruvchilar qabul qiladigan qiymatlar naborlari srasida mavjuddir. va formulalar ta naborning har birida bir xil qiymatga ega bo’lgani uchun ular naborda ham bir xil qiymat qabul qiladilar. Yuqorida isbotlangan teoremalardan bevosita quyidagi natijlaar kelib chiqadi. Agar va bo’lsa, u holda 1) 2) 3) 4) 5) Ta’rif: Agar formulaning tarkibida faqat konyuksiya, dizyunksiya va inkor operatsiyalari qatnashgan bo’lib, inkor speratsiyasi propozitsional o’zgaruvchilargagina tegishli bo’lsa, u holda bunday formula keltirilgan formula deyiladi. Misol: keltirilgan formuladir, ammo keltirilgan formula emas, chunki bu formulada implikatsiya operatsiyasi qatnashishi bilan birgalikda inkor operatsiyasi murakkab formula ga tegishlidir. 3.3-Teorema: Mulohazalar algebrasining har bir formulasining yo o’zi keltirilgandir yoki uni teng kuchli keltirilgan formula bilan almashtirish mumkin. Bu teoremani isbotlash uchun mulohazalar algebrasining asosiy tengkuchliliklari bilan tanishib chiqamiz. Mulohazalar algebrasining tengkuchliliklari quyidagilar: (qo’sh inkor tengkuchliligi) (dizyunksiya kommuntativligi) (konyuksiyaning kommuntativligi) (dizyunksiya assotsiativligi) (konyunksiyaning assotsiativligi) (dizyunksiyaning konyuksiyaga nisbatan distributivligi) (konyuksiyaning dizyunksiyaga nisbatan distributivligi) (dizyunksiya idempotentligi) (konyuksiyaning idempotentligi) (yutilish tengkuchliligi) (yutilish tengkuchliligi) (de Morgan tengkuchliligi) (de Morgan tengkuchliligi) (uchinchini inkor etish tengkuchliligi) (qarama-qarshilik tengkuchliligi) a) , b) c) d) (kontrapozitsiya tengkuchliligi) Bu teng kuchliliklar o’rinli ekanligini rostlik jadvali yordamida bevosita tekshirib ko’rish mumkin. Masalan, XIII tengkuchlilik uchun rostlik jadvalini ko’raylik:
II–XI, XIV–XVI tengkuchliliklarni tashkil etuvchi formulalar keltirilgan formulalar ekanligi ravshandir. Bundan tashqari, (1) tengkuchlilik o’rinli ekanligini rostlik jadvali tuzib ko’rsatish qiyin emas. Yuqorida ekanligi ko’rsatilgan edi. Implikatsiyaning inkor va dizyunksiya bilan almashtirish mumkin ekanligidan quyidagi tengkuchlilikni hosil qilamiz: (2) Demak, va formulalar keltirilgan formulalar bilan almashtirilishi mumkin ekan. I, XII, XIII tengkuchliliklar qo’sh inkor hamda dizyunksiya va konyuksiyalar inkorlarini qanday keltirilgan formulalar bilan almashtirish mumkin ekanini ko’rsatadi. Endi 3.3-teoremaning isbotini keltiramiz. Agar formulaning o’zi keltirilgan formula bo’lsa, u holda teorema isbotlangan bo’ladi. Agar formula tarkibida implikatsiya va ekvivalentsiya operatsiyalari qatnashgan bo’lsa, ularni (1) va (2) tengkuchliliklar yordamida almashtirish mumkin; formula tarkibida ko’rinishdagi qism formula qatnashgan bo’lsa, uni bilan, yoki ko’rinishidagi qism formula qatnashgan bo’lsa, ularni mos ravishda va formulalar bilan almashtirish mumkin. Bu protsessni yetarli marta tarkrorlab, nihoyat formulaga teng kuchli bo’lgan keltirilgan formulaga kelamiz. Shunday qilib, 3.3-teoremaga asosan mulohazalar algebrasining har bir formulasini asosiy va boshqa tengkuchliliklar yordamida almashtirib unga teng kuchli formulalar hosil qilish mumkin. Bu shakl alashtirishlar ba’zi bir masalalarni yechishda keng ko’lamda ishlatiladi. Bu yerda formulalarni shakl almashtirsihga oid ba’zi namunalarni keltiramiz. 3.3-misol. formulaning shaklini almashtiring va soddalashtiring.
Demak, berilgan formula aynan teng formula ekan. XULOSA Ta’lim muassalarida matematikada mulohazalar algebrasi interpritatsiyalari doir mavzu va masalalar yetarlicha uchraydi. Ushbu kurs ishi esa matematik mantiqning yuqoridagi tushunchalarini yoritishga qaratilgan. Bunday mavzudagi misol, o’quvchilar uchun qiyin o’zlashtiriluvchi bo’lib hisoblanadi. Shuning uchun bunday mavzular bo’yicha ishlash o’quvchilardan malaka va ko’nikmalarni tarkib toptirish lozimligini talab qiladi. Ushbu kurs ishidan xulosa qilib shuni aytish mumkinki, biz yuqorida misollarni yechishda mulohazalar algebrasi, mulohazalar hisobi formulalari va ularning xossalaridan foydalandik. Mulohazalar algebrasi va uning interpritatsiyasilaridan kelib chiqadigan natijalar bizga rele–kontakt sxemalarini yasashga yordam beradi. Mulohazalar hisobi va mulohazalar algebrasi orasidagi munosabatlar mulohazalar hisobidagi formulaning aynan chin(tavtalogiya, umumqiymatli) formula bo’lishini isbotlashga yordam beradi. Kurs ishida mulohazalar hisobi bo’lishi uchun hisobning simvollar tavsifi, formulalar va keltirib chiqarish formulalari ta’rifidan iborat bo’lishi ekanligi ko’rsatildi. Kurs ishini bajarishda davomida oliy ta’lim muassalaridagi darsliklarga bog’liq ba’zi mavzularni bayon etishda namunaviy dasturiy dars matnlarini kiritdik. Ta’lim muassasalari uchun mo’ljallangan matematik mantiq va diskret matematika darsliklarining misollar keltirilgan qismlarida biz keltirgan xossa va isbotlashlarning ba’zi usullaridan foydalanish o’quvchiga qulaylik yaratadi. Mazkur kurs ishidan foydalanish oliy ta’lim muassasalari o’quvchilariga shu mavzudagi darsliklardagi nazariy ma’lumotlarga qo’shimcha ravishda bo’lib, mavzuni chuqurroq tushunish va malakaviy ko’nikmmaga ega bo’lish imkonini beradi. FOYDALANILGAN ADABIYOTLAR. “O’zbekiston Respublikasi yanada rivojlantirish bo’yicha harakatlar strategiyasi to’g’risida”gi O’zbekiston Respublikasi Prezidentining Farmoni. Toshkent: Adolat 2017. I.A.Karimov Yuksak ma`naviyat-yengilmas kuch.-T.: Sharq, 2008. O`zbekiston Respublikasi «Ta`lim to`g`risida» Qonuni. Barkamol avlod - O`zbekiston taraqqiyotining poydevori. -T.: Sharq, 1997. To’rayev H.T. Matematik mantiq va diskret matematika. T: Taffakur Bo’stoni, 2011 To’rayev H.T. Mulohazalar hisobi va predikatlar mantiqi. Muammoli lektsiyalar kursi Samarqand SamDU nashriyoti, 2003 Nazarov R.N., Toshpo’latov B.T., Dusumbetov A.D. Algebra va sonlar nazariyasi. T, o’qituvchi 2 qism, 1995 й. Куликов Л. Я. Алгебра и теория чисел. Москва: Высш.шк. 1979 г. ( Ziyonet.uz Referat.uz Lex.uz Download 286.07 Kb. Do'stlaringiz bilan baham: 
|