Murakkab mulohazalarga asoslangan xulosa chiqarishning qanday turlari mavjud?
Shartli-qat’iy xulosa chiqarishning qanday moduslari bor?
Ayiruvchi-qat’iy xulosa chiqarishning qanday moduslari bor?
Dilemma nima, uning qanday turlari bor?
Kundalik hayotda deduktiv xulosa chiqarishning qaysi turidan ko‘proq foydalanasiz?
Deduktiv xulosa chiqarish turlarini, qoidalarini bilmasdan ham to‘g‘ri (chin) fikr yuritish mumkinmi?
Mantiqshunos olimlarning ba’zilari mantiq ilmining predmetini xulosa chiqarish deb ta’riflashgan. Siz bu haqda qanday fikrdasiz?
9.5 -ma’ruza.
Mulohazalar mantig‘i va predikatlar mantig‘i.
Reja:
1.Qat’iy mulohazalardan nosillogistik xulosa chiqarish.
2.Mulohazalar mantig‘i haqida umumiy tushuncha.
3.Predikatlar mantig‘i haqida umumiy tushuncha.
Tayanch iboralar: kommutatsiya qonuni, kompozitsiya qonuni, tranzitivlik munosabati, mulohazalar mantig‘i, predikatlar mantig‘i. Qat’iy mulohazalardan nosillogistik xulosa chiqarishda implikatsiya bilan bog‘liq qonunlar va munosabat mulohazalari bilan bog‘liq mantiqiy qonunlarga asoslaniladi. Bunda quyidagi simvollar qo‘llanadi: p,q,r – propozitsional o‘zgaruvchilar; – kon’yunksiya belgisi; Ú – diz’yunksiya belgisi; → – implikatsiya belgisi; ↔” – ekvivalentlik belgisi.
Kommutatsiya qonuni asosida xulosa chiqarish.
Kommutatsiya qonuni – (lot. commutatio– o‘zgarish, almashtirish) shartli mulohazaning ikki ketma-ket keluvchi asoslarining o‘rnini almashtirish mumkinligini tasdiqlovchi mantiqiy qonun. Qonunning simvolik ifodasi quyidagicha yoziladi:
(( р → ( q → r)) º((q → (р → r)) Masalan: Agar bahor seryog‘in bo‘lsa, daryolarning muzi erib ketsa, unda suv toshqini bo‘ladi. Agar daryolarning muzi erib ketsa, bahor seryog‘in bo‘lsa, unda suv toshqini bo‘ladi.
