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

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

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

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

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

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

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

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