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: 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:
Do'stlaringiz bilan baham: |
