Reja: kirish mulohazalar. Mulohazalar ustida mantiqiy amallar



Download 250,92 Kb.
bet2/7
Sana21.05.2023
Hajmi250,92 Kb.
#942087
1   2   3   4   5   6   7
Bog'liq
Asal1

2. Konyuksiya amali.
Ta’rif: p va q mulohazalarning konyuksiyasi deb p va q mulohazalar rost bo’lganda rost, boshqa hollarda yolg’on bo’lgan yangi mulohazaga aytiladi va uni yoki ko’rinishlarda belgilanadi.
Konyuksiya amaliga “va” bog’lovchisi mos keladi.
Masalan, p: “5-tub son”,
q: “5-toq son”,
: “5-tub va toq son”.
Konyuksiya amaliga quyidagi rostlik jadvali mos keladi:


p

q



1

1

1

1

0

0

0

1

0

0

0

0

Mulohazalarning konyuksiyasi ikkitadan ortiq mulohazalar uchun ham o’rinli bo’ladi. p1, p2, p3,…,pn mulohazalarning barchasi rost bo’lsa, u holda yolg’on bo’ladi.



3. Dizyunksiya amali.
Ta’rif: p va q mulohazalarning dizyunksiyasi deb p va q mulohazalarning kamida bittasi rost bo’lganda rost, boshqa hollarda yolg’on bo’lgan yangi mulohazaga aytiladi va u orqali belgilanadi.
Dizyunksiya amaliga “yoki” bog’lovchisi mos keladi.
Masalan, p: “3<4” - rost,
q: “3=4” - yolg’on,
: “ ” - rost.
Dizyunktsiya amaliga quyidagi rostlik jadvali mos keladi:


p

q

p q

1

1

1

1

0

1

0

1

1

0

0

0

Mulohazalarning diz’yunktsiyasi ikkitadan ham ortiq mulohazalar uchun ham o’rinli bo’ladi. p1,p2,…,pn mulohazalarning diz’yunktsiyasi orqali belgilaylik. p1,p2,…,pn larning kamida bittasi rost bo’lsa, rost, p1,p2,…,pn larning barchasi yolg’on bo’lsa yolg’on bo’ladi.



4. Implikatsiya amali.

Ta’rif: p va q mulohazalarning implikatsiyasi deb p rost, q yolg’on bo’lganda yolg’on, boshqa hollarda rost bo’lgan yangi mulohazaga aytiladi va uni p=>q ko’rinishda belgilanadi.
Implikatsiya amaliga “agar …, bo’lsa, u holda, … bo’ladi” kabi bog’lovchi so’zlar mos keladi.
Masalan, p: ”5*5=25” – rost, q: ”6*6=36” - rost, p=>q: ”Agar 5*5=25 bo’lsa, u holda 6*6=36” bo’ladi – rost.
p=>q implikatsiya quyidagicha o’qiladi: “p dan q kelib chiqadi”, “p bo’lishi uchun q ning bo’lishi zarur”, “p mulohaza q mulohaza uchun etarli”.
Implikatsiya amaliga quyidagi rostlik jadvali mos keladi:


p

q

p=>q

1

1

1

1

0

0

0

1

1

0

0

1



Download 250,92 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7




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