было не сделано.
5. Некоторые науки являются философскими; значит, некоторые науки
являются не философскими.
6. Некоторые армии являются многонациональными; значит, некоторые
армии не являются многонациональными.
7. Вселенная бесконечна; значит, Вселенная является конечной.
8. Ни один приговор суда не должен быть необоснованным; значит,
всякий приговор суда должен быть обоснованным.
9. Некоторые студенты являются отличниками; значит, некоторые
студенты не являются отличниками.
10. Все реки – естественные пути сообщения, значит, ни одна река не
является искусственным путем сообщения.
11. Каждый грамотный человек обнаруживает такую ошибку, значит,
всякий, кто ее обнаруживает, является грамотным.
12. Некоторые существительные не являются собственными
именами, значит, некоторые существительные являются собственными
именами.
13. Не все небоскребы выше 45 этажей, значит, все небоскребы не
выше 45 этажей.
14. Некоторые мошеннические действия раскрываемы, значит,
некоторые мошеннические действия не раскрываемы.
15. Не каждый студент сдает экзамены успешно, значит, все
студенты сдают экзамены успешно.
Пример: Ни один из подсудимых не виноват: значит, все подсудимые
невиновны. Установим схему исходного суждения: Ни один из подсудимых
не виноват. Это суждение общеотрицательное (Е) (Ни одно S не есть Р). В
результате операции превращения должно получиться суждение типа А с
отрицательным предикатом, что и есть в данном примере. Следовательно,
операция превращения произведена, верно.
Упражнение 3
Подберите пятнадцать суждений типа А, I, Е, О, сделайте из них
выводы путем превращения.
ОБРАЩЕНИЕ
Обращением называется такое непосредственное умозаключение, в
котором в выводе (новом суждении) субъектом является предикат исходного
суждения, а предикатом – субъект исходного суждения, при этом связка
остается неизменной.
Различают обращения с ограничением и простое, или чистое,
обращение.
Если в исходном суждении предикат не распределен, то
непосредственное умозаключение образуется путем обращения с
ограничением, т.е. предикат исходного суждения становится субъектом
выводного суждения с ограничением его объема.
Например, суждение «Все спортсмены – здоровые люди» обращается в
суждение «Некоторые здоровые люди – спортсмены».