Iv-bob. Predikatlar mantiqi


Predikatlar mantiqi formulasining ta’rifi



Download 1,03 Mb.
bet6/19
Sana04.06.2022
Hajmi1,03 Mb.
#635247
1   2   3   4   5   6   7   8   9   ...   19
Bog'liq
predikatlar

3.1. Predikatlar mantiqi formulasining ta’rifi

1.Har qanday o’zgaruvchi yoki o’zgarmas mulohaza formula (elementar) bo’ladi.


2.Agar - -joyli o’zgaruvchi predikat yoki o’zgarmas predikat va - predmet o’zgaruvchilar yoki predmet konstantalar bo’lsa, u holda formula bo’ladi. Bunday formulaga elementar formula deb aytamiz. Bu formulada predmet o’zgaruvchilar erkin bo’ladi, ya’ni kvantorlar bilan bog’langan bo’lmaydi.
3.Agar va shunday formulalarki, birorta predmet o’zgaruvchi birida erkin va ikkinchisida bog’langan o’zgaruvchi bo’lmasa, u holda , , lar ham formula bo’ladi. Bu formulalarda dastlabki formulalarda erkin bo’lgan o’zgaruvchilar erkin va bog’langan bo’lgan o’zgaruvchilar bog’langan o’zgaruvchilar bo’ladi.
4.Agar formula bo’lsa, u holda ham formula bo’ladi. formuladan formulaga o’tishda o’zgaruvchilarning xarakteri o’zgarmaydi.
5.Agar formula bo’lsa va uning ifodasiga predmet o’zgaruvchi erkin holda kirsa, u holda va mulohazalar formula bo’ladi va predmet o’zgaruvchi ularga bog’langan holda kiradi.
6.1-5 bandlarda formulalar deb aytilgan mulohazalardan farq qiluvchi har qanday mulohaza formula bo’lmaydi.
Masalan, agar va - bir joyli va ikki joyli predikatlar, - o’zgaruvchi mulohazalar bo’lsa, u holda quyidagi mulohazalar formulalar bo’ladi:
, , , , .
mulohaza formula bo’laolmaydi, chunki ta’rifning 3-banddagi shart buzilgan: predmet o’zgaruvchi formulaga bog’langan holda kirgan va ga esa erkin holda kirgan.
Predikatlar mantiqi formulasining ta’rifidan ko’rinib turibdiki, mulohazalar algebrasining har qanday formulasi predikatlar mantiqining ham formulasi bo’ladi.
1-misol. Quyidagi ifodalarning qaysi biri predikatlar mantiqining formulasi bo’ladi? Har bir formuladagi bog’langan va erkin o’zgaruvchilarni aniqlang.






Yechim. 1), 2), 4), 6) ifodalar formula bo’ladilar, chunki ular predikatlar mantiqi formulasining ta’rifi asosida hosil etilgan. 3) va 5) ifodalar formula emas. 3) ifodada amali va formulalarga nisbatan qo’llanilgan. da predmet o’zgaruvchi erkin va da bo’lsa umumiylik kvantori bilan bog’langan. Bu holat formula ta’rifining 3-bandiga ziddir. Shuning uchun 3) ifoda formula bo’laolmaydi. 5) ifodada bo’lsa, mavjudlik kvantori umumiylik kvantori taqalgan formulaga (bu yerda o’zgaruvchi bog’langan) tarqalgan. Bu ham ta’rifga ziddir. 1) formulada u erkin o’zgaruvchi, va o’zgaruvchilar bo’lsa bog’langandirlar. 2) formulada predmet o’zgaruvchilar mavjud emas. 4) formulada bog’langan o’zgaruvchi, esa erkin o’zgaruvchidir.



Download 1,03 Mb.

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




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