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

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

Ответ

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

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

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

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

Ответ

M⁺eP⁺

S^-iM^-

S^-oP⁺

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

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

Вариант XI

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

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

Ответ

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

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

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

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

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

Ответ

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

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