SILLOGISTIKA — an’anaviy formal mantiqning bo’limi. Deduktiv xulosa chiqarish qoidalarini o’rganadi. Sillogizmnyang mantiqiy nazariyasi sifatida birinchi marta Aristotel ta’riflab bergan. Zamonaviy matematik mantiqda Sillogistika alohida bo’lim sifatida ajratilmaydi.