Muloxaza. Xulosa chikarish

Murakkab hukmlarga asoslangan deduktiv xulosa chiqarish
Murakkab hukmlarga asoslangan deduktiv xulosa chiqarishda xulosa asoslariga mantiqiy bog’lovchilar orqali bog’langan oddiy hukmlar deb qaraladi. Xulosa asoslari yo shartli, yoki ayiruvchi, yoki ham shartli, ham ayiruvchi hukm ko’rinishida bo’lishi mumkin. Asoslardagi hukmlarning turiga ko’ra bunday xulosa chiqarishning quyidagi shakllari mavjud:
I. Shartli xulosa chiqarish.
II. Ayiruvchi xulosa chiqarish.
III. Shartli-ayiruvchi xulosa chiqarish.

I.Shartli xulosa chiqarish deb har ikki asosi yoki asoslaridan biri shartli hukm bo’lgan sillogizmga aytiladi. Ular sof shartli va shartli-qat’iy turlarga bo’linadi.

Sof shartli xulosa chiqarish deb, har ikki asosi va xulosasi shartli hukm bo’lgan sillogizmga aytiladi. Uning formulasi quyidagicha:
1)p→q
q→r yoki [(p→q)(q→r)] →(p→r)
p→r
2) p→q
r→q yoki [(p→q)(r→q)] →q
q
Masalan:
Agar fikr isbotlangan bo’lsa, unda u chin bo’ladi.
Agar fikr chin bo’lsa, unda uni rad etib bo’lmaydi.
Agar fikr isbotlangan bo’lsa, unda uni rad etib bo’lmaydi.

Agar havo yaxshi bo’lsa, konsertga boramiz.

Agar havo yaxshi bo’lmasa ham konsertga boramiz.
Konsertga boramiz.
Bu turdagi sillogizmlarning xulosasi shartlangan (shartli hukm) bo’lgani uchun ulardan bilish jarayonida kam foydalaniladi.
Shartli-qat’iy xulosa chiqarish deb, katta asosi shartli hukm, kichik asosi oddiy qat’iy hukm bo’lgan sillogizmga aytiladi. Bunday xulosa chiqarishning ikkita to’g’ri (aniq xulosa beradigan) modusi mavjud:
1. Tasdiqlovchi modus – modus ponens
p→q
r yoki [(p→q)^p]→q
q
2. Inkor etuvchi modus –
modus tollens
p-q yoki [(p-q)]q]→p

Masalan:
1. Agar fuqarolar jamiyat qonunlariga amal qilsalar, unda ular erkin bo’ladi.
Fuqarolar jamiyat qonunlariga amal qiladilar.
Demak, ular erkin bo’ladilar.
2. Agar me’yor buzilsa, unda miqdor o’zgarishlari sifat o’zgarishlariga olib keladi.
Miqdor o’zgarishlari sifat o’zgarishlariga olib kelmadi.
Demak, me’yor buzilmagan.
Shartli – qat’iy sillogizmning xulosasi aniq, chin bo’lishi uchun quyidagi holatlarga e’tibor berish zarur:
1. Shartli hukmdagi asosning chinligidan natijaning chinligi, natijaning xatoligidan asosning xatoligi mantiqan zaruriy ravishda kelib chiqadi.
2. Shartli hukmdagi natijaning chinligi asosning chinligini, asosning xatoligi esa natijaning ham xatoligini isbotlamaydi.
Bu qoidalar buzilganda shartli-qat’iy sillogizmning formulasi quyidagicha bo’ladi:
p→q
q p→q
Ehtimol p Ehtimol→ p
[(p→q)^q]→P ehtimol q

[(p→q)^דp]→דq

Shartli-qat’iy sillogizm xulosalarining noaniq (ehtimol) bo’lishiga sabab shuki, shartli hukm (p→q) r – chin, q –xato bo’lgan holatdan boshqa hamma holatlarda chin hisoblanadi.
Masalan:
Agar bemorning qon bosimi ko’tarilsa, unda uning boshi og’riydi.
Bemorning boshi og’riyapti.
Ehtimol, uning qon bosimi ko’tarilgan.
Bunda natijaning chinligidan asosning chinligini mantiqan keltirib chiqarish mumkin emas. Chunki boshqa asos ham shunday natijani keltirib chiqarishi mumkin. Yuqoridagi misolda shartli hukmning asosi xato, noaniq, natijasi chin bo’lganligi uchun sillogizmning xulosasi noaniq bo’lgan.
Endi yuqoridagi misolni bir oz o’zgartirib, ko’rib chiqamiz:
Agar bemorning qon bosimi ko’tarilsa, unda uning boshi og’riydi.
Bemorning qon bosimi ko’tarilmagan.
Ehtimol, uning boshi og’rimayotgandir.
Bilamizki, bosh og’rig’iga faqat qon bosimining ko’tarilishi sabab bo’lmaydi, undan boshqa sabablar ham bo’lishi mumkin. Bu esa, xulosaning noaniq bo’lishiga olib keladi.
II.Ayiruvchi xulosa chiqarish deb, har ikki asosi yoki asoslaridan biri ayiruvchi hukm bo’lgan sillogizmga aytiladi.
Sof ayiruvchi xulosa chiqarish deb, har ikki asosi va xulosasi ayiruvchi hukm bo’lgan sillogizmga aytiladi.
Masalan:
Tushunchalar hajmiga ko’ra umumiy yoki yakka, yoki bo’sh hajmli bo’ladi.
Har bir umumiy tushuncha yo ayiruvchi, yoki to’plovchi bo’ladi.
Demak, tushunchalar hajmiga ko’ra yo ayiruvchi, yoki to’plovchi, yoki yakka, yoki bo’sh hajmli bo’ladi.
Sof ayiruvchi sillogizmning formulasi quyidagicha:S-aVbVc
a-dVf
S-dVfVbVc
Ayiruvchi-qat’iy xulosa chiqarishda xulosa asoslaridan biri ayiruvchi hukm bo’lsa, boshqasi oddiy qat’iy hukm bo’ladi. Bunday xulosa chiqarishning ikki modusi bor:
1. Tasdiqlab-inkor etuvchi pVq
P
q
modus ponendo tollens
2. Inkor etib tasdiqlovchi
modus tollendo ponens



Masalan:
1. Tushunchalar mazmuniga ko’ra, konkret yoki abstrakt bo’ladi.
Bu – konkret tushuncha.
Demak, bu – abstrakt tushuncha emas.
2. Hukmlar tuzilishiga ko’ra oddiy yoki murakkab bo’ladi.
Berilgan hukm oddiy hukm emas.
Demak, berilgan hukm murakkab hukmdir.
Ayiruvchi sillogizmda to’g’ri xulosa chiqarish uchun quyidagi qoidalarga amal qilish zarur:
1. Ayiruvchi hukm tarkibidagi oddiy hukmlar bir-birini inkor qilishi, hajmiga ko’ra, kesishmasligi shart, aks holda xulosa xato bo’ladi.
Masalan: Kitoblar qiziqarli yoki fantastik bo’ladi.
Bu kitob qiziqarli.
Bu kitob fantastik emas.
Kitob ham qiziqarli, ham fantastik bo’lishi mumkin. Bunda ayiruvchi hukm tarkibidagi oddiy hukmlar bir-birini inkor etmaydi va hajmiga ko’ra, kesishadi. Shuning uchun xulosa xato.
2. Ayiruvchi hukmda bir-birini inkor etuvchi muqobillar to’liq ko’rsatilgan bo’lishi shart.
Burchaklar o’tkir yoki o’tmas burchakli bo’ladi.
Bu burchak o’tkir burchakli emas.
Bu burchak o’tmas burchaklidir.
Xulosaning xato bo’lishiga sabab, ayiruvchi hukmdagi muqobillar to’liq ko’rsatilmagan, ya’ni to’g’ri burchakning mavjudligi e’tibordan chetda qolgan.
Ayiruvchi sillogizmlardan ko’proq bir necha yechimga ega bo’lgan masalalarni yechishda, ya’ni muqobil holatlardan birini to’g’ri tanlab olishda foydalaniladi.
III. Shartli – ayiruvchi – lemmatik (taxminlab) xulosa chiqarish deb, asoslardan biri ikki yoki undan ortiq shartli hukmlardan, ikkinchisi esa ayiruvchi hukmdan iborat bo’lgan sillogizmga aytiladi. Ayiruvchi asosdagi a’zolarning soniga ko’ra, bunday xulosalar dilemma (ayiruvchi asos ikki a’zodan iborat bo’lgan), trilemma (ayiruvchi asos uch a’zodan iborat bo’lgan) va polilemma (ayiruvchi asos to’rt va undan ortiq a’zodan iborat bo’lgan) deb ataladi.
Dilemma oddiy yoki murakkab bo’ladi. Oddiy dilemmaning shartli asosidagi hukmlar yo shartiga, yo natijasiga ko’ra o’xshash bo’ladi. Murakkab dilemmaning shartli asosidagi hukmlar ham shartiga, ham natijasiga ko’ra bir-biridan farq qiladi. Dilemmalar konstruktiv (tuzuvchi) yoki destruktiv (buzuvchi) turlarga bo’linadi. Demak, dilemmalar to’rt xil bo’ladi: 1. Oddiy konstruktiv dilemma. 2. Oddiy destruktiv dilemma. 3. Murakkab konstruktiv dilemma. 4. Murakkab destruktiv dilemma.
Oddiy konstruktiv Oddiy destruktiv
dilemmaning formulasi: dilemmaning formulasi
a → s, b → s a→b, a→c
a V b V
s

Masalan:
Agar yoshlar ilm o’rgansalar, hayotda o’z o’rinlarini topadilar.

Agar yoshlar hunar o’rgansalar, hayotda o’z o’rinlarini topadilar.
Yoshlar yo ilm, yoki hunar o’rganadilar.
Demak, ular hayotda o’z o’rinlarini topadilar.
Agar talaba chet tilini yaxshi bilsa, konkursda ishtirok etadi.
Agar talaba chet tilini yaxshi bilsa, chet elga o’qishga boradi.
Talaba konkursda ishtirok etmadi yoki chet elga o’qishga bormadi.
Talaba chet tilini yaxshi bilmaydi.
Murakkab konstruktiv Murakkab destruktiv
dilemmaning formulasi: dilemmaning formulasi:
a → b, c → d a→b,c→d
aVc
bd
Masalan:
Agar inson yaxshi amallarni bajarsa, uni yaxshi nom bilan eslashadi.
Agar inson yomon amallarni bajarsa, uni yomon nom bilan eslashadi.
Inson yo yaxshi, yoki yomon amallarni bajarishi mumkin.
Demak, uni yo yaxshi, yoki yomon nom bilan eslashadi.

Agar inson boshqalarga yaxshilik qilsa, unga ham bosh-qalar yaxshilik qiladi.

Agar inson boshqalarga yomonlik qilsa, boshqalar ham unga yomonlik qiladi.
Insonga yo yaxshilik, yoki yomonlik qaytadi.
Demak, u boshqalarga yaxshilik ham, yomonlik ham qilmadi.