Aksiomalari



Download 0,5 Mb.
bet5/13
Sana07.04.2022
Hajmi0,5 Mb.
#534426
1   2   3   4   5   6   7   8   9   ...   13
Bog'liq
9Predikatlar xisobi aksiomalari.

3- teorema. bajariluvchi formula bo‘lishi uchun ning umumqiymatli formula bo‘lmasligi zarur va yetarlidir.
Isboti. Zarurligi. bajariluvchi formula bo‘lsin. U holda shunday
soha va formula tarkibiga kiruvchi o‘zgaruvchilarning shunday qiymatlar majmui (satri) mavjudki, formula bu qiymatlar satrida chin qiymat qabul qiladi. Ravshanki, o‘zgaruvchilarning bu qiymatlar satrida formula yolg‘on qiymat qabul qiladi va, demak, umumqiymatli formula bo‘la olmaydi.
Yetarliligi. umumqiymatli formula bo‘lmasin. U holda shunday soha va formula tarkibiga kiruvchi o‘zgaruvchilarning shunday qiymatlar satri mavjudki, formula bu qiymatlar satrida yolg‘on qiymat qabul qiladi. Bu qiymatlar satrida formula chin qiymat qabul qilganligi uchun u bajariluvchi formula bo‘ladi. ■
7-misol. formulaning umumqiymatliligini isbotlaymiz. formula istalgan sohada aniqlangan deb hisoblab, quyidagi teng kuchli almashtirishlarni bajaramiz:








,
ya’ni formula istalgan sohada har qanday va bir joyli predikatlar uchun aynan chin, demak, u umumqiymatli formuladir. ■
8- misol. formulaning aynan yolg‘on formula ekanligini ko‘rsatamiz. o‘rinli va formula aynan yolg‘on formula bo‘lgani uchun ham aynan yolg‘on formuladir. ■


Yechilish muammosi.
Predikatlar mantiqida yechilish muammosi mulohazalar algebrasida qanday qo‘yilgan bo‘lsa, xuddi shunday qo‘yiladi: predikatlar mantiqining istalgan formulasi yo umumqiymatli, yo bajariluvchi, yoki aynan yolg‘on (bajarilmas) formula ekanligini aniqlab beruvchi algoritm mavjudmi yoki yo‘qmi? Bu masala yechilish muammosi deb ataladi. Agar bunday algoritm mavjud bo‘lsa edi, u (xuddi mulohazalar algebrasidagidek) predikatlar mantiqidagi istalgan formulani aynan chinligini aniqlab beruvchi kriteriyga keltirilgan bo‘lar edi.
Agar ushbu muammo mulohazalar algebrasi uchun oson yechilgan bo‘lsa, predikatlar mantiqi uchun bu muammoni yechish jarayonida katta qiyinchiliklar borligi aniqlandi. XX asrning 30- yillarida algoritm tushunchasiga aniq ta’rif berilgandan so‘ng mazkur muammo umumiy holda ijobiy hal etilishi mumkin emasligi, ya’ni izlangan algoritm mavjud emasligi aniqlandi. 1936 yilda A. Chyorch1 predikatlar mantiqining yechilish muammosi umumiy holda algoritmik yechilmasligini isbotladi, ya’ni predikatlar mantiqining istalgan formulasi qaysi formulalar (umumqiymatli, bajariluvchi yoki bajarilmas) sinfiga kirishini aniqlab beradigan algoritm mavjud emasligini isbotladi.
Yechilish muammosi predikatlar mantiqi uchun ijobiy hal etilmasada,
predikatlar mantiqi formulalarining ba’zi sohalari uchun bu muammo ijobiy hal bo‘lishi mumkin. Quyida shunday sohalardan ba’zilarini o‘rganamiz.

Download 0,5 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   ...   13




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish