4-dars. Mantiqiy amallar Darsning texnologik xaritasi Mavzu Mantiqiy amallar Maqsad va vazifalari Darsning maqsadi



Download 258,72 Kb.
Pdf ko'rish
bet3/7
Sana30.04.2022
Hajmi258,72 Kb.
#597566
1   2   3   4   5   6   7
Bog'liq
4-dars.-Mantiqiy-amallar

 
O’tilganlarni takrorlash: 
Avvalgi mavzudagi materallar asosida. 
Bobga doir testlar. 
Mavzuni yoritish. 
Mantiq — mantiqiy tafakkur shakli va qonunlari haqidagi fan. Mantiq fanining obyekti - 
tafakkur qonunlari, shakllari, uslublari va amallaridir. Mantiq fani u o`rganadigan predmet 
sohasining turi bo`yicha ikki bo`limdan iborat: formal mantiq va dialektik mantiq. Formal 
mantiq statik borliqqa, dialektik mantiq dinamik borliqqa oiddir. Formal mantiq ilmining asoslari 
eramizdan avvalgi IV asrda buyuk yunon olimi Arastu (Aristotel) tomonidan yaratilgan. IX asrda 
yashab o`tgan Markaziy Osiyolik alloma Abu Nasr Forobiy Arastuning umumiy formal mantiq 
tizimini uning boshqa asarlari asosida to`ldirib, o`z zamonasi uchun eng muhim mantiq fanini 
shakllantirib bergan. Yo rost, yo yolg`on bo`lishi mumkin, qiymatlari ikkilik sanoq tizimiga xos 
fikrlar, ya’ni hukmlar ustida matematik tahlil va deduktiv fikrlashni (birinchi mavzuda ta’kidlab 
o`tilganidek) birinchi bo`lib XIX asrda ingliz matematigi (irlandiyalik) Jorj Bul qo`llagan. Bu 
Bul algebrasi deb ataluvchi mantiq algebrasi yaratilishiga va oxir-oqibatda XX asr o`rtalarida 
elektron hisoblash mashinalarining yaratilishiga olib kelgan. Chunki, zamonaviy kompyuterlar 
faqat 0 va 1 qiymatlarni tushunadi va shularga asoslanib mantiqiy bog`liqlik asosida ishlaydi. 
Kompyuter raqamli qurilmalarining mantiqiy holatlarini yozish va tahlil qilish qurilmasi 
yoki mikroprotsessorli tizimlarning aloqa kanallarini hamda protokollarini diagnostika qilish va 
sozlashda qo`llaniladigan mantiqiy analizator qurilmasini hamda protsessor tarkibidagi 
arifmetik-mantiqiy qurilmaning ishlash prinsipini tushunish uchun avval insonning mantiqiy 
fikrlash va xulosa chiqarish usullarini ko`rib chiqamiz. 
Insonlar kundalik hayotda o`zaro muloqot qilish uchun turli mulohazalardan 
foydalanishadi. Ma’lumki, mulohaza — narsa yoki hodisalarning xususiyatini anglatuvchi darak 
gapdir. Boshqacha aytganda, mulohaza - rost yoki yolg`onligi haqida so`z yuritish mumkin 
bo`lgan darak gap. 
Mulohazalar sodda va murakkab bo`lishi mumkin. Biror shart yoki usul bilan 
bog`lanmagan hamda faqat bir holatni ifodalovchi mulohazalar sodda mulohazalar deyiladi. 
Sodda mulohazalar ustida amallar bajarib, murakkab mulohazalarni hosil qilish mumkin. Odatda 


murakkab mulohazalar sodda mulohazalardan "VA", "YOKI" kabi bog`lovchilar, "EMAS" 
shaklidagi ko`makchilar yordamida tuziladi. 
Mulohazalarni lotin alifbosi harflari bilan belgilash (masalan, A = "Bugun havo issiq") 
qabul qilingan. Har bir mulohaza faqat ikkita "rost" yoki "yolg`on" mantiqiy qiymatga ega 
bo`lishi mumkin. Qulaylik uchun "rost" qiymatni 1 raqami bilan, "yolg`on" qiymatni esa 0 
raqami bilan belgilab olamiz. 
Endi sodda mulohazalar ustida bajarilishi mumkin bo`lgan ba’zi amallar bilan tanishamiz. 
A va В sodda mulohazalar bir paytda rost bolgandagina rost bo`ladigan yangi (murakkab) 
mulohazani hosil qilish amali mantiqiy ko`paytirish amali deb ataladi. 
Bu amalni konyunksiya (lot. conjunctio — bog`layman) deb ham atashadi. Mantiqiy 
ko`paytirish amali ikki yoki undan ortiq sodda mulohazalarni "VA" bog`lovchisi bilan bog`laydi 
hamda "A va B", A and В", "А^ B" , "A • B" kabi ko`rinishda yoziladi. Mantiqiy ko`paytirishni 
ifodalaydigan quyidagi jadval rostlikjadvali deb ataladi: 

В 
А^В 












A va В mulohazalarning kamida bittasi rost bo`lganda rost bo`ladigan yangi murakkab 
mulohazani hosil qilish amali mantiqiy qo`shish amali deb ataladi. 
Bu amalni dizyunksiya (lot. disjunctio — ajrataman) deb ham atashadi. Mantiqiy 
qo`shish amali ikki yoki undan ortiq sodda mulohazalarni "YOKI" bog`lovchisi bilan bog`laydi 
hamda "A yoki B", "A or B", "A v В", "A + B" kabi ko`rinishlarda yoziladi. Mantiqiy qo`shish 
amalining rostlikjadvali quyidagicha: 

В 
AvB 












A mulohaza rost bo`lganda yolg`on, yolg`on bo`lganda esa rost qiymat oladigan 
mulohaza hosil qilish amali

Download 258,72 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