|
Kasrlarni bo’lish.
1.Kasrni butun songa bo’lish uchun butun sonni kasrning maxrajiga ko’paytirish kifoya:
.
2.Aralash sonni butun songa bo’lish uchun aralash soni noto’g’ri kasrga aylantirib, so’ngra bo’lish kasrni butun songa bo’lishdek bajariladi:
.
3.Aralash sonni aralash songa bo’lish uchun ularning har birini noto’g’ri kasrga aylantirib, so’ngra birinchi kasrni ikkinchi kasrning teskarisiga ko’paytirish kerak.
II BOB. RATSIONAL SONLAR AKSIOMATIK NAZARIYASI.
Aksiomatik nazariya. Keltirib chiqarish
Matematikada aksiomatik metod eramizdan oldin qadimgi yunon matematiklarining ishlarida paydo bo‘lgan. Ammo aksiomatik metod XIX asrda rus matematigi N.I.Lobachevskiy tomonidan noevklid geometriyasining kashf etilishi bilan o‘zining alohida yo‘nalish sifatida yangi rivojlanish pog‘onasiga o‘tdi. SHunday qilib, aksiomatik metod matematik nazariyalarni qurish va o‘rganishda kuchli apparat ekanligi XIX asr matematiklari tomonidan to‘la-to‘kis e’tirof etildi va bu apparat matematikada keng ko‘lamda qo‘llanila boshlandi.
Mulohazalar algebrasini o‘rganganimizda bu asosan rostlik jadvali orqali ko‘pgina savollarga javob olgan edik. Mantiqning ba’zi qiyinroq masalalarini bu metod bilan xal qilish mumkin bo‘lmaganligi sababli, biz endi aksiomatik metodni qo‘llaymiz va aynan rost formulalar to‘plamini deduktiv sistema yordamida aniqlaymiz. Boshqacha aytganda, biz «dastlabki» aynan rost formulalar sifatida mulohazalar xisobi aksiomalarini aniqlaymiz va shu aksiomalardan xuddi shunday formulalarni keltirib chiqarish mumkin bo‘ladigan keltirib chiqarish qoidalarini ifodalaymiz. Bunday qoidalar mantiqa xizmat qilib, keltirib chiqarish jarayonini sof mexanik xisoblashlarga aylantirgani uchun ham mulohazalar mulohazalar xisobi atamasi paydo bo‘lgan.
Endi esa formal aksiomatik nazariyani ifodalashga o‘taylik.
Agar quyidagi shartlar bajarilsa, u holda formal (aksiomatik) nazariya aniqlangan xisoblanadi:
Sanoqli simvollar to‘plami- nazariyaning simvollari berilgan bo‘lsa nazariyaning chekli simvollari ketma-ketligi ning ifodasi deyiladi.
nazariyaning formulalari deb ataluvchi ning ifodalari to‘plami berilgan bo‘lsa. (odatda, berilgan ifodaning formula bo‘lish bo‘lmasligini aniqlovchi effektiv jarayon beriladi).
nazariyaning aksiomalari deb ataluvchi formulalar majmuasi to‘plami ajratilgan bo‘lsa. (ko‘pgina hollarda nazariyaning berilgan formulasi aksioma bo‘lish yoki bo‘lmasligini effektiv aniqlash mumkin bo‘ladi; bu holda ni effektiv aksiomalashtirilgan yoki aksiomatik nazariya deyiladi).
Formulalar orasida keltirib chiqarish qoidalari deb ataluvchi chekli munosabatlar ketma-ketligi berilgan bo‘lsin. Har bir uchun shunday musbat butun soni topiladiki, ta formulalardan iborat xar qanday to‘plam uchun hamda ixtiyoriy formula uchun, berilgan ta formulalar formula bilan munosabatda bo‘ladimi, degan savol effektiv xal etilishi kerak. Agar bu savolga xa deb javob olinsa, u holda formula berilgan ta formulalarning qoidasi bo‘yicha bevosita natijasi deyiladi.
Agar formulalar ketma-ketligi berilgan bo‘lib, har qanday uchun formula yoki aksioma bo‘lsa, yoki o‘zidan oldingi qandaydir formulalarning bevosita natijasi bo‘lsa, u holda berilgan formulalar ketma-ketligi da keltirib chiqarish deyiladi.
Agar da keltirib chiqarish mavjud bo‘lib, bu keltirib chiqarishning oxirgi formulasi formula bilan ustma-ust tushsa, u holda formula nazariyaning teoremasi deyiladi; bunday keltirib chiqarish formulaning keltirib chiqarishi deyiladi. (Berilgan nazariyaga nisbatan).
Xatto, effektiv aksiomalashtirilgan nazariyada ham, teorema tushunchasi effektiv bo‘lishi shart emas, chunki umuman olganda berilgan formulaning da keltirib chiqarilishi mavjudligini aniqlovchi effektiv algoritm mavjud bo‘lmasligi ham mumkin.
Bunday algoritm mavjud bo‘lgan nazariyani echiluvchan nazariya, aks holda esa echilmaydigan nazariya deyiladi.
Biroz oldinga o‘tib shuni aytish mumkinki, mulohazalar xisobi uchun qurilgan formal aksiomatik nazariya echiluvchan nazariya, tor ma’nodagi predikatlar xisobi nazariyasi esa echilmaydigan nazariyadir.
Do'stlaringiz bilan baham: |
