Дедуктивными называются умозаключения, при построении вывода которых осуществляется переход от информации с большей степенью общности к информации с меньшей степенью общности.
Дедуктивные умозаключения могут формулироваться на основе простых и сложных суждений. Наиболее распространённым видом дедуктивного умозаключения, построенного на основе простых суждений является простой категорический силлогизм.
Простым категорическим силлогизмом называется разновидность дедуктивного умозаключения, которое формулируется на основе двух исходных суждений и содержит три разновидности логических терминов: средний, больший и меньший.
Средним термином силлогизма называется понятие, которое содержится в обоих исходных суждениях, осуществляет между ними взаимосвязь, но в выводе не отражается. В символической форме средний термин обозначается - М.
Большим термином силлогизма называется понятие, которое содержится в первом исходном суждении, а в выводе играет роль предиката. В символической форме обозначается – Р.
Меньшим термином силлогизма называется понятие, которое содержится во втором исходном суждении, а в выводе играет роль субъекта. В символической форме обозначается – S.
К примеру, имеется умозаключение
М Р
Все растения являются живыми организмами