V Пример. Поменяв местами посылки первого ПКС в рассмотренном выше регрессивном полисиллогизме, получим:

Поменяв местами посылки первого ПКС в рассмотренном выше регрессивном полисиллогизме, получим:

Все столицы — города.

Все города есть населённые пункты.

Все населённые пункты имеют название.

^{______________________________________________________}

Все столицы имеют название.

Здесь наименее общее подчинённое понятие — «столица», подчиняющее по отношению к нему понятие — «город», более общее подчиняющее понятие — «населённый пункт» и подчиняющее по отношению ко всем предыдущим — понятие «имеющий название».

Регрессивный сорит начинается с посылки, содержащей субъект заключения («столица»), и кончается посылкой, содержащей предикат заключения («имеющий название»). Запись правила вывода рассмотренного примера аристотелевского сорита: a É b, b É c, c É d |= a É d, где a — «Предмет является столицей», b — «Предмет является городом», с — «Предмет является населённым пунктом», d — «Предмет является имеющим название». Формула ((aÉb)Ù(b Éc)Ù(сÉd))É(aÉd) в рассматриваемой далее классической логике высказываний также является формулой чисто условного умозаключения. Другая разновидность сложносокращённого силлогизма — эпихейрема — образуется в результате использования в качестве посылок сокращённых ПКС (энтимем). Эпихейрема (в переводе с греч. — умозаключение) — это такой сложносокращённый силлогизм, обе посылки которого представляют собой энтимемы.