Reja: Predikat tushunchasi. Predikatning inkori. Konyuksiya va dizyunksiya. Tayanch so’zlar



Download 21,08 Kb.
bet2/3
Sana04.07.2022
Hajmi21,08 Kb.
#739056
1   2   3
Bog'liq
Reja Predikat tushunchasi. Predikatning inkori. Konyuksiya va d

1- t a ’ r i f .
M to‘plamda aniqlangan va ( 0 , 1) to‘plamdan qiymat qabul P(x) funksiya bir joyli (bir o‘rinli) predikat deb ataladi.
M to‘plamni P(x) predikatning aniqlanish sohasi deb aytamiz.P(x) predikat chin qiymat qabul qiluvchi hamma x=M elementlar to‘plamiga P(x)predikatning chinlik to‘plami deb ataladi, ya’ni P(x) predikatning chinlik to‘plami 1p= (x:x=M ,P ( x )=1) to‘plamdir.
2- t a ’ r i f .
Agar M to‘plamda aniqlangan P(x) predikat uchun Ip=M(Ip=Ø) bo‘lsa, u aynan chin (aynan yolg‘on) predikat deb ataladi.
Endi ko‘p joyli predikat tushunchasini o‘rganamiz. Ko‘p joyli predikat predmetlar orasidagi munosabatni aniqlaydi.«Kichik» munosabati ikki predmet orasidagi binar munosabatni ifodalaydi . «x3- t a ’ r i f .
M=M1x M2 to‘plamda aniqlangan va (1,0) to‘plamdan qiymat oluvchi ikki argumentli P(x,y) funksiya ikki joyli predikat deb ataladi.
Predikatlar ustida mantiqiy amallar. Predikatlar ham mulohazalar singari faqatgina chin yoki yolg‘on (1 yoki 0) qiymat qabul qilganliklari tufayli ular ustida mulohazalar mantiqidagi hamma mantiqiy amallarni bajarish mumkin.Bir joyli predikatlar misolida mulohazalar mantiqidagi mantiqiy amallarning predikatlarga tatbiq etilishini ko‘raylik.
4- t a ’ r i f .
Berilgan M to‘plamda aniqlangan P(x) va Q(x) predikatlarning kon’yunksiyasi deb, faqat va faqat x=M qiymatlarda aniqlangan hamda P(x) va Q(x)lar bir vaqtda chin qiymat qabul qilgandagina chin qiymat qabul qilib, qo lgan barcha hollarda yolg‘on qiymat qabul qiluvchi yangi predikatga aytiladi va u P(x)^Q(x) kabi belgilanadi.
5- t a ’ r i f .
Berilgan M to‘plamda aniqlangan P(x) va Q(x) predikatlarning diz’yunksiyasi deb, faqat va faqatgina x=M qiymatlarda aniqlangan hamda P(x) va Q(x) predikatlar yolg‘on qiymat qabul qilganda yolg‘on qiymat qabul qilib, qolgan barcha hollarda chin qiymat qabul qiluvchi yangi predikatga aytiladi va u P(x) v Q(x) kabi belgilanadi.
P(x)vQ(x) predikatning chinlik sohasi IpUIQ to‘plamdan iborat bo‘ladi.

Download 21,08 Kb.

Do'stlaringiz bilan baham:
1   2   3




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