sillogistika

ot Anʼanaviy formal mantiqning deduktiv xulosa chiqarish qoidalarini oʻrganuvchi boʻlimi.

Zamonaviy matematik mantiqda sillogistika alohida boʻlim sifatida ajratilmaydi. — OʻzME