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

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

Простым категорическим силлогизмом называется разновидность дедуктивного умозаключения, которое формулируется на основе двух исходных суждений и содержит три разновидности логических терминов: средний, больший и меньший.

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

Большим термином силлогизма называется понятие, которое содержится в первом исходном суждении, а в выводе играет роль предиката. В символической форме обозначается – Р.

Меньшим термином силлогизма называется понятие, которое содержится во втором исходном суждении, а в выводе играет роль субъекта. В символической форме обозначается – S.

К примеру, имеется умозаключение

М Р

Все растения являются живыми организмами