Категорический силлогизм

Простой категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных суждений: двух посылок и одного заключения.

Пример силлогизма:

Всякий человек смертен

Сократ — человек

------------

Сократ смертен.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я