V Пример. Все млекопитающие — позвоночные, поэтому все киты — позвоночные.

Все млекопитающие — позвоночные, поэтому все киты — позвоночные.

Некоторые киты — касатки, поэтому некоторые киты — хищники.

^{_________________________________________________________________________________________________}

Значит, некоторые хищники являются позвоночными.

Данная эпихейрема составлена из двух корректных энтимем, служащих в качестве посылок. Первой посылкой является энтимема «Все млекопитающие — позвоночные, поэтому все киты — позвоночные». Второй посылкой — энтимема «Некоторые киты — касатки, поэтому некоторые киты — хищники». Заключения данных энтимем выступают посылками ПКС, и из них логически следует итоговое заключение «Некоторые хищники являются позвоночными». Восстановленные до ПКС энтимемы — посылки рассматриваемой эпихейремы — выглядят следующим образом:

(первый ПКС — правильный модус ааа I фигуры)

Все млекопитающие — позвоночные.

Все киты — млекопитающие.

^{__________________________________________________}

Все киты — позвоночные.

(второй ПКС — правильный модус iai IV фигуры)

Некоторые киты — касатки.

Все касатки — хищники.

^{_______________________________________}

Некоторые киты — хищники.

Далее образуем из заключений восстановленных ПКС новый ПКС (правильный модус aii III фигуры):

Все киты — позвоночные.

Некоторые киты — хищники.

^{__________________________________________________}

Некоторые хищники — позвоночные.

Тема шестая

УМОЗАКЛЮЧЕНИЯ НЕГАТИВНОЙ ТРАДИЦИОННОЙ СИЛЛОГИСТИКИ