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

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

Ответ

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

Заключение можно заменить эквивалентной ему по логическому квадрату (в силу контрадикторности PoS и PaS) формулой PaS. Тогда получим: SоP ç= PaS. Субъектом заключения является предикат посылки, а предикатом заключения – субъект посылки, что указывает на применение операции обращения к посылке. Эта операция применена неверно, поскольку высказывания вида SоP не обращаются. Значит, умозаключение неверно.