Меньший термин (S) — термин, который является субъектом заключения

В приведённом выше примере это термин “курсанты 2 факультета”.

Средний термин (M) — термин, который содержится в обеих посылках, но отсутствует в заключении.

В приведённом выше примере это термин “юристы”.

Большая посылка — посылка, содержащая больший термин.

Как правило, она записывается первой. В нашем примере большей является посылка “Все юристы изучают уголовное право”.

Меньшая посылка — посылка, содержащая меньший термин.

Как правило, она записывается второй. В нашем примере меньшей является посылка “Все курсанты 2 факультета -- юристы”.

(3б) Аксиома простого категорического силлогизма.

Как отмечалось выше, между посылками и заключением в дедуктивных умозаключениях имеется определённая закономерная связь, гарантирующая истинность заключения в случае истинности посылок. Существует аксиома, раскрывающая эту связь посылок и заключения в простом категорическом силлогизме:

Всё, что утверждается (отрицается) относительно всего множества, утверждается (отрицается) и относительно любого его подмножества.

Рассмотрим следующий пример:

Все преступления — наказуемы.

Все кражи являются преступлениями.

Все кражи — наказуемы.

В данном примере всему множеству преступлений приписывается свойство “быть наказуемыми”. Множество “кражи” являются подмножеством множества “преступления”. Следовательно, ему также необходимо приписать свойство “быть наказуемыми”.

(3в) Фигуры ПКС.

Фигура ПКС – это его разновидность в зависимости от расположения среднего термина (М).

Различают 4 фигуры ПКС: