Murakkab mulohazalarga asoslangan deduktiv xulosa chiqarishda xulosa asoslariga mantiqiy bog‘lovchilar orqali bog‘langan oddiy mulohazalar 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.
Ayiruvchi xulosa chiqarish.
