Простой категорический силлогизм (от греч. syllogismos — сосчитывание, выведение следствия) — это вид дедуктивного опосредованного умозаключения, в котором из двух истинных категорических суждений, выводится новое суждение, через определение отношений двух крайних терминов (S, Р) на основании их отношения к среднему термину (М). По схеме: (S → М ← Р).