Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

SHartli
- 
ayiruvchi
- 
lemmatik
(taxminlab) xulosa chiqarish deb, asoslardan biri ikki yoki 
undan ortiq shartli hukmlardan, ikkinchisi esa ayiruvchi hukmdan iborat bo‗lgan sillogizmga 
aytiladi. Ayiruvchi asosdagi a‘zolarning soniga,ko‗ra bunday xulosalar 
dilemma
(ayiruvchi asos 
ikki a‘zodan iborat bo‗lgan), 
treilemma
(ayiruvchi asos uch a‘zodan iborat bo‗lgan) va 
polilemma
(ayiruvchi asos to‗rt va undan ortiq a‘zodan iborat bo‗lgan) deb ataladi. 
Dilemma oddiy yoki murakkab bo‗ladi. Oddiy dilemmaning shartli asosidagi hukmlar yo 
shartiga, yo natijasiga ko‗ra o‗xshash bo‗ladi. Murakkab dilemmaning shartli asosidagi hukmlar 
ham shartiga, ham natijasiga ko‗ra bir-biridan farq qiadi.