Вывод, в котором заключение получается из двух или более посылок, называется опосредованным. Важнейшей формой опосредованного вывода является простой категорический силлогизм (от греч. sillogismo сосчитывание) — вывод, в котором из двух высказываний форм SaP, SeP, SiP или SoP, связанных общим термином, делается заключение также одной из этих форм.
Структура простого категорического силлогизма:
Термин, соответствующий субъекту заключения, называется меньшим термином.
Термин, соответствующий предикату заключения, называется большим термином.
Меньший и больший термины называются крайними терминами, они обозначаются соответственно буквами S и P.
Общий термин, присутствующий в обеих посылках, но отсутствующий в заключении, называется средним. Его принято обозначать буквой M (лат. medio– средний).
Посылка, в которой находится меньший термин, называется меньшей посылкой. Посылка, в которой находится больший термин, называется большей.