Силлогизм

Силлогизм есть такая форма умозаключения, в которой из двух суждений необходимо вытекает третье, причём одно из двух данных суждений является обще-утвердительным или обще-отрицательным. Силлогизм, таким образом, представляет собой умозаключение от общего.

Части силлогизма. Исходные суждения называются предпосылками или посылками, а новое суждение, которое получается из сопоставления посылок, называется заключением. Понятия, которые входят в заключение и предпосылки, называются терминами. Подлежащее заключения («сосны») называется меньшим термином, сказуемое заключения («живые») называется большим термином, а термин «растение», который не входит в заключение, называется средним термином.

Г. Челпанов, Учебник логики