Вывод А
Все М есть Р
Все S есть М
Все S есть Р
Все люди смертны
Сократ - человек
Сократ смертен
|
|
|
Все S есть М
Ни одно S не есть Р
Ни одно дерево не летает
Все берёзы - деревья
Ни одна берёза не летает
|
|
Все М есть Р
Некоторые S есть М
Некоторые S есть Р
|
Все зебры - полосатые
Некоторые лошади - зебры
Некоторые лошади - полосатые
4. Вывод О
|
|
|
Некоторые S есть М
Некоторые S не есть Р
Ни одно растение не говорит
Некоторые формы жизни -растения
Некоторые формы жизни не говорят
Примеры ошибок: а) Все студенты сдают экзамены, а некоторые водители не сдают экзаменов. Значит, некоторые водители - не студенты.
Все Р есть М
Некоторые S не есть М
Некоторые S не есть Р
|
|
| |||
| |||
б) Некоторые студенты занимаются музыкой, а ни один попугай музыкой не занимается, следовательно некоторые попугаи не являются студентами.
Некоторые Р есть М
Ни одно S не есть М
Некоторые S не есть Р
В обоих примерах вывод с необходимостью не следует из посылок, поскольку отношение субъекта и предиката в заключении не однозначно.
§ 5. Умозаключения, содержащие сложные суждения (Выводы логики высказываний)
В этих умозаключениях суждения не расчленяются на субъект и предикат, а рассматриваются как простые суждения, из которых с помощью логических союзов образуются сложные суждения. Выводы, таким образом, делаются не на основе отношения понятий (терминов), а на основе правил отношений суждений.