II случай расстановки посылок.

Поменяем теперь посылки местами:

Иванов не учится в нашей группе.

М

Все студенты нашей группы отлично знают английский язык.

М

Поскольку теперь термин «Иванов» стоит в первой посылке, то по определению это будет больший термин, обозначаемый буквой Р.

Термин «отлично знают английский язык» стоит во второй посылке, значит это будет меньший термин S.

Таким образом, имеем:

Иванов не учится в нашей группе.

Р М

Все студенты нашей группы отлично знают английский язык.

М S

Логическая схема посылок будет выглядеть следующим образом:

Это р не суть м

Все М суть S

В соответствии с кванторами и связками в посылках поставим квантор и связку в заключении. В заключении может быть как квантор «все», так и квантор «некоторые», т.к. у нас нет частных посылок. В заключении будет связка «не суть», т.к. у нас есть отрицательная посылка.

Таким образом, получаем логическую схему полного силлогизма:

Это р не суть м

Все М суть S (21)

Все (Некоторые) S не суть Р

Далее проверяем этот силлогизм любым из способов. Используем, например, проверку при помощи общих правил силлогизма. Схема распределенности терминов будет выглядеть следующим образом:

Это Р+ не суть М+

Все М+ суть S - (22)

Все S+ не суть Р+

Некоторые S- не суть Р+

Первое и второе правило терминов выполнены, т.к. мы имеем все три термина силлогизма М, Р, S, и средний термин М распределен хотя бы в одной из посылок.

Применяя третье правило терминов «Крайний термин, нераспределенный в посылке, не может быть распределен в заключении» к крайнему термину S получаем, что вывод

Все S+ не суть Р+

будет неправильным, т.к. нарушено третье правило терминов.

После этого остается проверить силлогизм

Это Р+ не суть М+

Все М+ суть S - (23)

Некоторые S- не суть Р+

Убеждаемся, что для него выполнены все четыре правила посылок: есть общая посылка, есть утвердительная посылка, при отрицательной посылке получается отрицательное заключение, одно из правил выполняется автоматически, т.к. нет частных посылок.

Таким образом, для силлогизма (23) выполнены все 7 общих правил, следовательно, силлогизм правильный.

Оформим вывод в форме высказывания, учитывая, что «отлично знают английский язык» - S, а «Иванов» - Р.

Окончательно получим:

Некоторые, кто отлично знает английский язык, не являются Ивановым.

Ответ:

Таким образом, на основании двух посылок (18) можно сделать один правильный вывод:

Некоторые, кто отлично знает английский язык, не являются Ивановым.