Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

Ayiruvchi xulosa
chiqarish deb, har ikki asosi yoki asoslaridan biri ayiruvchi hukm bo‗lgan 
sillogizmga aytiladi. 
Sof ayiruvchi xulosa
chiqarish deb, har ikki asosi va xulosasi ayiruvchi hukm bo‗lgan 
sillogizmga aytiladi. 
Masalan: 
Tushunchalar hajmiga ko„ra umumiy, yoki yakka, yoki bo„sh hajmli bo„ladi. 
Har bir umumiy tushuncha yo ayiruvchi, yoki to„plovchi bo„ladi. 
Demak, tushunchalar hajmiga ko„ra yo ayiruvchi, yoki to„plovchi, yoki yakka, yoki bo„sh 
hajmli bo„ladi. 
Sof ayiruvchi sillogizmning formulasi quyidagicha: 
S-avvvc 
a-dvf__ 
S-dvf 
VBVC
 
Ayiruvchi-qat‘iy xulosa chiqarishda xulosa asoslaridan biri ayiruvchi hukm bo‗lsa, boshqasi 
oddiy qatiy hukm bo‗ladi. Bunday xulosa chiqarishning ikki modusi bor: 
1.Tasdiqlab-inkor etuvchi modus ponendo tollens;