Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

 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: 
1. SHartli xulosa chiqarish. 
2. Ayiruvchi xulosa chiqarish. 
3. SHartli-ayiruvchi xulosa chiqarish
. 
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: 
p → q p → q 
1) q → r yoki [(p → q)^(q → r)]→ (p → r) 2)p → q yoki [(p → q)^(p → q)]→