Hisobga olish qobiliyati bilan bog'liq

---

MUXAMMAD AL-XORAZMIY NOMIDAGI
TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
SAMARQAND FILIALI
KOMPYUTER TIZIMLARI KAFEDRASI
5330500- Kompyuter injiniring (Kompyuter injiniring) ta'lim yo'nalishi
“Dasturni tekshirishning formal usuli” fanidan
Labaratoriya ish № 1
Bajardi: Tuliyev.O
Qabul qildi: MAHMUDOV. R
Samarqand – 2023

---

Reja
1.
Deduktiv fikrlash
2.
Predikat bilan qarama-qarshilik 
3.
Umumlashtiruvchi induksiya
4. Xulosa
Voqelikni tubdan faraziy hodisalar tizimi sifatida ko'rib chiqish qobiliyati
bizning fikrlashimizning kombinatoryal tabiati, uning tasniflash tasniflarini
qurish va shu bilan rivojlanishning barcha mumkin bo'lgan alternativalarini
hisobga olish qobiliyati bilan bog'liq. L hukmni bildirsin "Kuchli shamol
esdi", 
DA
- "Osmonni bulutlar qoplagan" hukmi. Ushbu hukmlarning odatiy
dixotomik tasnifi quyidagi xulosalarga olib keladi:

1) L va 
DA
ikkalasi ham haqiqat;

2) L to'g'ri va 
DA
yolg'on;

3) L noto'g'ri va 
DA
rost;

4) L va B ikkalasi ham noto‘g‘ri.
Agar olingan natijalar "mavjud" bo'yicha yangi tasnifga duchor bo'lsa, u
holda biz hukmlar bilan ifodalangan hodisalarni amalga oshirish uchun 2 4 -
16 imkoniyatga ega bo'lamiz. 
LEKIN
va 
DA.
Bu imkoniyatlar ikkala hodisa
sodir bo'ladigan muqobilni ham, ikkalasi ham sodir bo'lmaydigan muqobilni
o'z ichiga oladi. Shunday qilib, biz nafaqat voqealarning mumkin bo'lgan
rivojlanishi haqida 16 ta farazni, balki (eng muhimi) hukmlarning mantiqiy
aloqalarining to'liq ro'yxatini olamiz. 
LEKIN
va 
DA
bir-biri bilan. Bu
munosabatlar haqida har qanday hukmni shakllantirishni
anglatadi 
LEKIN
va 
DA -
barcha muqobillar to'plamidan kichik to'plamni
tanlash bilan bir xil. Boshqacha qilib aytadigan bo'lsak, xulosa qilish -
tanlash, ma'lum bir kombinativ masalani hal qilish demakdir.
Har bir xulosada quyidagilarni ajratib ko'rsatish mumkin:

asl bilimni bildiruvchi hukmlar va deyiladi 
posilkalar
;

yangi bilimlarni bildiruvchi hukmlar (hukm). 
xulosalar
;

nazarda tutilgan yoki aniq 
yangi bilimlarni egallash
qoidalari
berilganlardan (binolardan xulosalar).
Kundalik fikrlashda bunday qoidalar odatda faqat nazarda tutiladi. Mantiqiy
tahlilda ular diqqat bilan muhokama qilinadi va aniq shakllantiriladi.
Dastlabki bilim sabablar, qonunlar yoki ularning oqibatlari haqidagi bilim
bo'lishi mumkin. Shunga ko'ra, yangi bilim ham ikki tomonlama. Agar biz
sabablarni bilsak, unda yangi bilim ularning oqibatlari haqidagi bilim bo'ladi.
Agar biz ta'sirlarni bilsak, unda yangi bilim ularning sabablari haqidagi bilim
bo'ladi.

---

Biz ma'lum sabablarga ko'ra oqibatlarni yoki aksincha, ma'lum oqibatlarni -
ularning mumkin bo'lgan sabablarini qidirayotganimizga qarab,
xulosalarning ikki turini - deduktiv va deduktiv bo'lmaganlarni ajratish odatiy
holdir.
deduktiv fikrlash
- zarur oqibatlar to'g'risida xulosa
ma'lum sabablarga ko'ra.
Deduktiv xulosa chiqarish (lot. 
chegirma
- “xulosa”) bu hukmlardan zaruriy
oqibatlarni topish (chiqarish) qobiliyatidan boshqa narsani anglatmaydi.
Shu sababli, deduksiya ba'zan berilgan bilimning haqiqati uchun zarur shart
-sharoitlarni asoslash deb ta'riflanadi.
Aksincha, deduktiv bo'lmagan mulohazalar yordamida ma'lum oqibatlarga
asoslanib, ehtimolli sabablar izlanadi.
Deduktiv bo'lmagan fikrlash
- ma'lum oqibatlar asosida mumkin bo'lgan
sababni xulosa qilish.
Deduktiv bo'lmagan fikrlashning batafsil tahlili Chda keltirilgan. 7. Bu erda
biz faqat ularning xususiyatlarini ko'rsatamiz.
Deduktiv bo'lmagan fikrlashlar orasida induktiv fikrlash va analogiya
bo'yicha fikrlash eng muhim hisoblanadi. Induktiv fikrlashning odatiy misoli
yoki 
induksiya
(latdan. 
induksiya
- "yo'l-yo'riq"), ularning sabablari va
qonuniyatlarini tushuntiruvchi kuzatilgan faktlarni izlash vazifasini bajaradi.
Faktlardan ularning sabablari yoki qonuniyatlariga aniq yo'l yo'qligi sababli,
induksiya jarayoni mohiyatan farazlar, gipotezalarni ilgari surish, ularni
keyingi sinovdan o'tkazish va eng maqbulini tanlashdir. Agar biror hodisa
boshqa ma'lum bo'lgan hodisaga tarkibiy, funktsional yoki boshqa
o'xshashlik asosida tushuntirilsa yoki bashorat qilinsa, bu o'xshashlik yoki
oddiygina xulosadir. 
analogiya
(yunon tilidan. 
analogiya
- "muvofiqlik,
o'xshashlik, o'xshashlik"). Deduktiv bo'lmagan mulohaza yuritish yoki
mumkin bo'lgan sabablarni izlash yoki mumkin bo'lgan sabablarga
asoslanib biror narsani bashorat qilishni anglatadi. Qanday bo'lmasin,
deduktiv bo'lmagan fikrlashning o'ziga xos xususiyati dastlabki yoki
bashorat qilingan bilimlarning haqiqati uchun etarli shartlarni izlashdir.
Shunday qilib, bilishning orqaga yo'naltirilgan ikkita strategiyasi ajralib
turadi. Ulardan biri bizning bilimimiz uchun zarur shart-sharoitlarni
asoslashgacha qisqartiriladi va deduktiv fikrlash orqali amalga oshiriladi.
Qabul qilingan aksiomalardan deduktsiya qilish orqali biz teoremalarni,
o'rnatilgan qonunlar yoki sabablardan, ularning zaruriy oqibatlarini
chiqaramiz. Agar xulosa chiqarishning asoslari va qoidalari to'g'ri bo'lsa,
deduktiv xulosalar albatta to'g'ri bo'ladi.
Teskari strategiya bizning bilimimiz uchun etarli sharoitlarni aniqlashdir. Bu
yo'nalishda harakat qilish - taxmin qilish, gipotezalarni ilgari surish, ularni
sinab ko'rish va eng ishonchlilarini tanlash. Bu erda, qoida tariqasida,
ishonchli xulosalar bo'lishi mumkin emas, faqat ehtimol bo'lganlar.

---

Induksiya va analogiya yordamida biz yangi qonunlar va sabablarni kashf
qilamiz va shu bilan bilimlarimiz doirasini sifat jihatidan kengaytiramiz.
Bu strategiyalar to‘liqdir: har qanday voqea uchun ular “Nega bunday bo‘ldi?”
kabi savollarga javob beradi. va "Uni amalga oshirishdan nimani kutish
kerak?". Bu savollar, shuningdek, ularga javoblar har qanday narsani
tushunishimizning eng muhim elementlarini tavsiflaydi. Zero, tushunish bu
sabablar va ularning oqibatlarini bilishdan boshqa narsani anglatmaydi.

Piaget J. Tanlangan psixologik ishlar. - M., 1969. S. 567-612.
2. Deduktiv fikrlash
Klassik mantiqda bo'lgani kabi, deduksiya nazariyasi ham qadimgi yunon
faylasufi Arastuga qarzdor. U bunday fikrlash bilan bog'liq ko'pgina
masalalarni ishlab chiqdi.
Aristotel asarlariga ko'ra 
chegirma
xulosa chiqarish jarayonida umumiydan
xususiyga o‘tishdir. Boshqacha qilib aytganda, deduksiya mavhumroq
tushunchani bosqichma-bosqich konkretlashtirishdir. U bir necha
bosqichlardan o'tadi, har safar bir nechta binolardan natija chiqaradi.
Shuni aytish kerak 
deduktiv fikrlash jarayonida haqiqiy bilim olinishi
kerak.
Bunday maqsadga faqat zarur shart-sharoitlar va qoidalarga rioya
qilingan taqdirdagina erishish mumkin. Xulosa qilish qoidalarining ikki turi
mavjud: to'g'ridan-to'g'ri xulosa chiqarish qoidalari va bilvosita xulosa
chiqarish qoidalari. To'g'ridan-to'g'ri xulosa qilish deganda, to'g'ridan-to'g'ri
xulosa qilish qoidalariga rioya qilingan holda, to'g'ri bo'lgan ikkita asosdan
xulosa chiqarish tushuniladi.
Shunday qilib, binolar to'g'ri bo'lishi kerak va oqibatlarni olish qoidalariga
rioya qilish kerak. Ushbu qoidalarga rioya qilgan holda, olingan mavzu
bo'yicha fikrlashning to'g'riligi haqida gapirish mumkin. Bu shuni anglatadiki,
haqiqiy hukm, yangi bilim olish uchun barcha ma'lumotlarga ega bo'lish
shart emas. Axborotning bir qismi mantiqiy tarzda qayta yaratilishi va
o'rnatilishi mumkin. Konsolidatsiya zarur, chunki usiz yangi ma'lumotlarni
olish jarayoni ma'nosiz bo'lib qoladi. Bunday ma'lumotlarni uzatish yoki
undan boshqa yo'l bilan foydalanish mumkin emas. Tabiiyki, bunday
konsolidatsiya til (og'zaki, yozma, dasturlash tili va boshqalar) orqali sodir
bo'ladi. Mantiqda konsolidatsiya, birinchi navbatda, belgilar yordamida sodir
bo'ladi. Masalan, bular birikma belgilari, ayrilishlar, implikatsiyalar, harfiy
iboralar, qavslar va boshqalar bo'lishi mumkin.
Quyidagi turdagi xulosalar deduktiv hisoblanadi: 
mantiqiy bog`lanishlar
xulosalari va predmet-predikat xulosalari.
Shuningdek 
deduktiv fikrlash to'g'ridan-to'g'ri.
Ular bir asosdan tuzilgan va predikatga transformatsiya, inversiya va
qarama-qarshilik deb ataladi, mantiqiy kvadrat bo'yicha xulosalar alohida
ko'rib chiqiladi. Bunday xulosalar toifali hukmlardan kelib chiqadi.
Keling, ushbu xulosalarni ko'rib chiqaylik. 
Transformatsiya quyidagi

---

sxemaga ega:
S R emas.
Ushbu diagrammada faqat bitta paket mavjudligi ko'rsatilgan. Bu qat'iy
hukm. Transformatsiya shundan iboratki, xulosa chiqarish jarayonida
asosning sifati o‘zgarganda uning miqdori o‘zgarmaydi, oqibat predikati
esa predikatni inkor etadi. O‘zgartirishning ikki yo‘li mavjud – qo‘sh inkor va
predikatdagi inkorni bog‘lovchidagi inkorga almashtirish. Birinchi holat
yuqoridagi diagrammada ko'rsatilgan. Ikkinchisida transformatsiya
sxemada aks ettirilgan, chunki S emas-P - S P emas.
Hukmning turiga qarab, transformatsiyani quyidagicha ifodalash mumkin.
Hamma S - P - Yo'q S - P emas. Hech qanday S P emas - Barcha S P emas.
Ba'zi Slar P - Ba'zi Slar P emas. Ba'zi S lar P emas - Ba'zi S lar P
emas. 
Shikoyat qilish
- bu predmet va predikatning o'rinlari o'zgartirilganda,
asosiyning sifati o'zgarmaydigan xulosa.
Ya’ni, xulosa chiqarish jarayonida predmet bosh gapning o‘rnini, predmet
esa predmet o‘rnini egallaydi. Shunga ko'ra, aylanish sxemasini S - P - P - S
deb tasvirlash mumkin.
Apellyatsiya cheklovsiz yoki cheksiz bo'lishi mumkin.
(u oddiy yoki sof deb
ham ataladi). Ushbu bo'linish hukmning miqdoriy ko'rsatkichiga asoslanadi
(S va P hajmlarining tengligi yoki tengsizligini anglatadi). Bu miqdoriy
so'zning o'zgargan yoki o'zgarmaganligi, predmet va predikatning
taqsimlanganligi bilan ifodalanadi. Agar bunday o'zgarishlar ro'y bersa,
cheklov ko'rib chiqildi. Aks holda, biz sof aylanish haqida gapirishimiz
mumkin. Eslatib o'tamiz, miqdoriy so'z so'z - miqdor ko'rsatkichidir. Demak,
“hammasi”, “baʼzilari”, “yoʻq” va boshqa soʻzlar miqdoriy soʻzlardir.
Predikat bilan qarama-qarshilik
oqibatdagi bog‘lanishning teskari bo‘lishi,
predmetning ergash gapga zid kelishi, bosh gapning ergash gap
predmetiga teng kelishi bilan xarakterlanadi.
Aytish kerakki, predikatga qarshi to'g'ridan-to'g'ri xulosani alohida
tasdiqlovchi hukmlardan chiqarib bo'lmaydi.
Keling, hukmlarning turlariga qarab qarama-qarshilik sxemalarini keltiramiz.
Ba'zi S P emas - Ba'zi P emas S. Yo'q S emas P - Ba'zi no P emas S. Hamma
S P - Yo'q P S.
Aytilganlarni birlashtirib, biz predikatga qarama-qarshilikni bir vaqtning
o'zida ikkita bevosita xulosaning mahsuloti deb hisoblashimiz mumkin.
Birinchisi - transformatsiya. Uning natijasi teskari.
Mantiq kitobidan: ma'ruza matnlari muallif Shadrin D A
1. Xulosa qilish tushunchasi Xulosa - mavhum fikrlash shakli bo'lib, u orqali
ilgari mavjud bo'lgan ma'lumotlardan yangi ma'lumotlar olinadi. Bunda
sezgi a'zolari ishtirok etmaydi, ya'ni xulosa chiqarishning butun jarayoni
fikrlash darajasida sodir bo'ladi va qabul qilingandan mustaqil bo'ladi.

---

Mantiq kitobidan muallif Shadrin D A
38. Deduktiv xulosalar Quyidagi turdagi xulosalar deduktiv hisoblanadi:
mantiqiy bog’lanishlar va sub’ekt-predikativ xulosalar.Shuningdek, deduktiv
xulosalar to’g’ridan-to’g’ri. Ular bir binodan yasaladi va transformatsiya,
konversiya va deb ataladi
Mantiq darsligi kitobidan muallif Chelpanov Georgiy Ivanovich
13-bob Sillogizm Sillogizmning ta'rifi Sillogizm deganda ikkita gapdan
uchinchisi kelib chiqadi. Shu bilan birga, ikkita dastlabki hukmdan biri
majburiy bo'lib, umuman tasdiqlovchi (barcha S - P) yoki umuman salbiy (S
- P emas).
Yuristlar uchun mantiq kitobidan: darslik. muallif Ivlev Yuriy Vasilevich 
"Mantiq: Huquq maktablari uchun darslik" kitobidan muallif Demidov I.V.