Определите форму и правильность непосредственного умозаключения

Истинно, что некоторые живородящие животные не являются млекопитающими, следовательно, истинно, что все млекопитающие животные являются живородящими.

Ответ

Символически: SoP ç= PaS.

Субъектом заключения является предикат посылки, а предикатом заключения – субъект посылки, что указывает на применение операции обращения к посылке. Эта операция применена неверно, поскольку высказывания вида SоP не обращаются. Значит, умозаключение неверно.

Проверьте правильность следующего умозаключения.

Некоторые преступники (S) – воры (M), не отбывающие срок в исправительно-трудовых учреждениях (P). Следовательно, не все преступники отбывают срок в исправительно-трудовых учреждениях (или, если произвести замену данного высказывания на эквивалентное ему по логическому квадрату, «некоторые преступники не отбывают срок в исправительно-трудовых учреждениях»).

Ответ

M⁺eP⁺

S^-iM^-

S^-oP⁺

I-я фигура, модус ЕIO.

Силлогизм правильный.

Вариант XI

1. К какому виду относится следующее понятие?

Дождливый рассвет

Ответ

А) По объему: непустое, общее.

Б) По содержанию: положительное.

В) По характеру элементов объема: несобирательное, конкретное.

2. Определите, является ли правильным следующее непосредственное умозаключение:

Все антилопы – не водоплавающие, значит, неверно, что есть антилопы, являющиеся водоплавающими.

Ответ

Символически: SeP ç= ØSiP.

Если заменить заключение на эквивалентную ему по логическому квадрату (в силу контрадикторности SiP и SeP) формулу, то получится SeP ç= SеP. Следовательно, умозаключение правильное.