9-ma’ruza. Xartli formulasi, kompyuterning ishlashining mantiqiy va fizik asoslari ralf Xartli



Download 81,26 Kb.
bet8/9
Sana26.08.2021
Hajmi81,26 Kb.
#156669
1   2   3   4   5   6   7   8   9
Bog'liq
9-ma’ruza. Xartli formulasi, kompyuterning ishlashining mantiqiy

X

Y

X Y

R

R

R

R

Yo

Yo

Yo

R

R

Yo

Yo

R

 

Jadvaldan ko’rinadiki, agar shart X "rost" va xulosa Y "yolg’on” qiymatli mulohazalar bo’lgandagina, implikatsiya natijasi "yolg’on" mulohaza bo’ladi. X va Y ning qolgan barcha qiymatlarida implikatsiya "rost” qiymat qabul qiladi.

Masalan:

1.              Agar qaralayotgan shakl uchburchak bo’lsa, u holda uning yuzasi asasining uzunligi bilan balandligi ko’paytmasining yarmiga tеng.

2.              Agar D toq son bo’lsa, u holda 2*D juft son bo’ladi.

E’tibor qilgan bo’lsangiz, implikatsiya amalida "agar ... bo’lsa, u holda" bog’lovchi so’zlarini ishlatdik. Bunda “u holda” bog’lovchi so’zdan kеyin kеladigan mulohaza “rost” qiymatni olishi uchun “agar” so’zidan kеyin kеladigan shart albatta rost qiymatni qabul qilishi shart emas.

Ekvivalentsiya amali

A va B muloxazalarning ikkalasi ham “rost” yoki ikkalasi ham “yolg’on” bo’lganda “rost”, qolgan hollarda “yolg’on” bo’ladigan yangi mulohazaga shu mulohazalarning ekvivalentsiyasi deyladi.

Ekvivalentsiya amali XY orqali belgilanib, unga “agar … bo’lsa, shu holda va faqat shu holda ... bo’ladi”, “… bajarilishi uchun … bajarilishi zarur va etarli” kabi bog’lovchi so’zlar mos keladi.

Masalan:


X: “Berilgan natural son 3 ga bo’linadi”;

Y: “Berilgan sonning raqamlar yig’indisi 3 ga bo’linadi”.

X Y, ya’ni “berilgan son 3 ga bo’linadi, shu holda va faqat shu holda, agar uning raqamlari yig’indisi 3 ga bo’linsa” “rost” mulohaza.



Download 81,26 Kb.

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




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