1. Mantiq amallari: dizyunksiya,konyuksiya inkor


O‘zgaruvchi predikatni o‘rniga qo‘yish qoidasi



Download 12,84 Mb.
bet30/31
Sana06.07.2022
Hajmi12,84 Mb.
#745643
1   ...   23   24   25   26   27   28   29   30   31
Bog'liq
totaliy algebra

O‘zgaruvchi predikatni o‘rniga qo‘yish qoidasi .
Bu almashtirish natijasida ham hosil bo‘lgan ifoda formula bo‘lishini ta’minlashimiz lozim.
Predikatlar hisobining keltirib chiqariluvchi ℑ ( F ) formulasida n o‘zgaruvchili F predikat qatnashsin.
ℬ ( t1, . . , tn ) – predikatlar hisobining n ta erkin t1 . . , tn o‘zgaruvchili formulasi bo‘lsin. ℬ ning bog‘li= o‘zgaruvchilari ℑ ning erkin o‘zgaruvchilaridan, ℬ ning erkin o‘zgaruvchilari ℑning bog‘li= o‘zgaruvchilaridan farqli harflar bilan belgilangan bo‘lsin. Undan tashqari agar F ℑ dagi birorta harfni bog‘lagan kvantorning ta’sir sohasida bo‘lsa, o‘sha harf ℬ formulada qatnashmasin. U holda agar ℑ ( F ) formulada barcha F ( x1, . . . , xn ) qatnashgan joylarda
ℬ ( t1, . . . , tn ) formulaning t1 . . , tn o‘zgaruvchilarini mos ravishda x1, . . . , xn larga almashtirib qo‘yib chiqamiz.
Natijada hosil bo‘lgan ifoda predikatlar hisobining keltirib chiqariluvchi formulasi bo‘lad
YUQoridagi shartlarning buzilishini o‘zgaruvchilarning kolliziyasi deyilad
Erkin o‘zgaruvchi predmetlarni almashtirish qoidas
Agar predikatlar hisobining keltirib chiqariluvchi ℑ formulasidagi erkin o‘zgaruvchi predmetlarni, shu o‘zgaruvchilar qaerda qatnashsa o`sha joylarning barchasida boshqa erkin o‘zgaruvchi predmetlar bilan almashtirib chiqsak, hosil bo‘lgan ifoda yana predikatlar hisobining keltirib chiqariluvi formulasi bo‘lad
2.10. Bog‘liq o‘zgaruvchi predmetni almashtirish qoidas
Predikatlar hisobining keltirib chihariluvchi ℑ formulasida bog‘li= o‘zgaruvchi predmetlarni, shu o‘zgaruvchini bog‘lagan kvantorning ta’sir sohasiga tegishli hamma joylarda ℑ dagi barcha erkin o‘zgaruvchi predikatlardan farq qiladigan boshqa bog‘liq o‘zgaruvchi predmetlar bilan almashtirsak, hosil bo‘lgan ifoda predikatlar hisobining keltirib chiqariluvchi formulasi bo‘lad
2.12.
Download 12,84 Mb.

Do'stlaringiz bilan baham:
1   ...   23   24   25   26   27   28   29   30   31




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