Matematik mantiq elementlari


Mantiqiy amallar va formulalar



Download 134,31 Kb.
bet2/7
Sana17.03.2023
Hajmi134,31 Kb.
#919900
1   2   3   4   5   6   7
Bog'liq
Matematik mantiq elementlari

Mantiqiy amallar va formulalar
Mulohazalar ustida quyidagi mantiqiy amallar - inkor, kon’yunksiya, diz’yunksiya, implikatsiya va ekvivalensiya amallari mavjud bo`lib, ularning ta’rifi hamda rostlik jadvali quydagicha bo`ladi:[1]
Inkor. Bizga biror A mulohaza berilgan bo`lsin.
Tа’rif. Bеrilgаn А mulоhаzа rоst bo`lgаndа yolg`оn, yolg`оn bo`lgаndа rоst bo`lаdigаn mulоhаzа А mulоhаzаning inkоri dеyilаdi vа  А yoki  оrqаli bеlgilаnаdi.
Bu yerdagi  (А) yozuv “A emas” yoki “A bo`lishi noto`g`ri” deb o`qiladi. Inkor amali ushbu rostlik jadvali bilan aniqlanadi:

A



R (1)

Yo (0)

 Yo (0)

R (1)

Mаsаlаn, А mulоhаzа - «7-tub sоn» dеgаn rоst mulоhаzа bo`lsin, u hоldа А - «7-tub sоn emаs» dеgаn yolg`оn mulоhаzаdаn ibоrаt bo`ladi.
Kon‘yunksiya.
Tа’rif. A va B mulohazalarning ikkalasi rost bo`lganda rost bo`ladigan hamda “va” bog`lovchisi bilan bog`lanuvchi mulohazalar va B mulohazalarning kon‘yunksiyasi deb ataladi, A B hamda A B ko`rinishlarda belgilanadi.
Bu yerdagi A va B mulohazalar mos ravishda A B kon‘yunksiyaning birinchi va ikkinchi hadlari, “ ” va “ ” belgilar esa kon‘yunksiya amali belgisi deyiladi. A B, A B yozuvlar “va B” deb o‘qiladi. Kon‘yunksiya uchun rostlik jadvali quyidagicha bo`ladi:

A

B

A B

R (1)

R (1)

R (1)

R (1)

Yo (0)

Yo (0)

Yo (0)

R (1)

Yo (0)

Yo (0)

Yo (0)

Yo (0)

Kon’yunksiya – bog‘layapman degan ma’noni anglatadi
MasalanA: “Toshkent – O`zbekistonning poytaxti”, B: “Termez shahri Farg`ona vodiysida joylashgan”, C: “Biz mustaqil yurt farzandlarimiz” degan uchta mulohazani qaraylik. Ta’rifga ko`ra, ravshankiB mulohaza yolg`on (chunki A – rost, B – yolg`on),  C – rost (chunki A – rost, C – rost),  C – yolg`on (chunki B – yolg`on, – rost).

Download 134,31 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