Sillogistika. 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 S. alohida boʻlim sifatida ajratilmaydi.