Силлогизм — специальная форма умозаключения от общего к частному. С. представляет собой заключение, следующее из двух посылок, содержащих утверждения о соотношении объемов двух классов или о принадлежности некоторого элемента определенному классу. Примером С. может служить следующее умозаключение: Все хищники питаются мясом Волк — хищник Волк питается мясом.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]