O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

Tayanch iboralar: modus ponens, modus tollen, dilemma, trilemma, polilemma.

Murakkab mulohazalarga asoslangan deduktiv xulosa chiqarishda xulosa asoslariga mantiqiy bog‘lovchilar orqali bog‘langan oddiy mulohaza lar deb qaraladi. Xulosa asoslari yo shartli, yoki ayiruvchi, yoki ham shartli, ham ayiruvchi mulohaza ko‘rinishida bo‘lishi mumkin. Asoslardagi mulohazalarning turiga ko‘ra, bunday xulosa chiqarishning quyidagi shakllari mavjud:

I. Shartli xulosa chiqarish.

2. 
   Ayiruvchi xulosa chiqarish.
   
3. 
   Shartli-ayiruvchi xulosa chiqarish.