1. Mantiq amallari: dizyunksiya,konyuksiya inkor


Kvantorlar yordamida predikatlardan mulohazalar hosil qilish



Download 12,84 Mb.
bet4/31
Sana06.07.2022
Hajmi12,84 Mb.
#745643
1   2   3   4   5   6   7   8   9   ...   31
Bog'liq
totaliy algebra

Kvantorlar yordamida predikatlardan mulohazalar hosil qilish.




  • to‘plamda aniqlangan R(x) predikat berilgan bo‘lsin, u holda R(x) predikatni rost mulohazaga aylantiradigan x ning M to‘plamga tegishli barcha elementlarini orqali belgilaymiz. ni R(x) predikatning rostlik sohasi deyiladi. ifoda, M to‘plamning barcha elementlari uchun R(x) rost bo‘lganda rost, M to ‘plamning kamida bitta x0 elementi uchun yolg‘on bo‘lganda yolg‘on bo‘ladigan mulohazadir. Bu yerdagi belgi umumiylik kvantorini bildiradi. mulohaza bo‘lib, M to ‘plamning kamida bitta x0 elementi uchun rost bo‘lganda rost, qolgan hollarda, ya’ni M to'plamning barcha elementlari uchun R(x) yolg‘on bo‘lganda yolg'on bo'ladigan mulohazadir.

M to'plamning barcha elementlari uchun R(x) yolg‘on bo‘lganda yolg'on bo'ladigan mulohazadir. R(x, у ) butun sonlar to‘plami Z d a aniqlangan maznumidagi predikat bolsin, u holda:
— «ixtiyoriy ikkita butun son yig‘inidisi musbat boladi» — yolg‘on mulohaza;
— «har qanday butun son x uchun shunday у butun son mavjud bo‘lib, ulraning yig‘indisi musbat» — rost mulohaza;
— «shunday x butun son mavjud bo‘lib, uning ixtiyoriy у butun son bilan yig‘idisi musbat» — yolg‘on mulohaza;
— «shunday x va у butun sonlar mavjudki, ularning yig‘indisi musbat» — rost mulohaza bo‘ladi.
1-misol. Dekart koordinatalar tekisligida predikatning rostlik sohasini tasvirlang. Yechish. Berilgan ikki o‘rinli predikat to‘rtta bir o‘rinli predikatlarning konyunksiyasidan tashkil topgan. Konyunksiya amalining ta’rifidan, predikatlardagi ikkala o‘zgaruvchi o‘rniga qiymatlar berganimizda, ularning barchasini rost mulohazaga aylantiruvchi x va у larning qiymatlari berilgan predikatning rostlik sohasi bo‘ladi. Buning uchun har bir predikatning rostlik sohalarini aniqlab, ularning kesishmasini topamiz (chizmaga q.) Hosil bo‘lgan chizmadagi ABCD to‘rtburchakning ichki nuqtalari berilgan predikatning rostlik sohasi bo‘ladi. Hosil bo‘lgan chizmadagi ABCD to‘rtburchakning ichki nuqtalari berilgan predikatning rostlik sohasi bo‘ladi.


Download 12,84 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9   ...   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