Вывод А

Все М есть Р

Все S есть М

Все S есть Р

Все люди смертны

Сократ - человек

Сократ смертен

S

М

2. Вывод Е

Р

Ни одно М не есть Р

Все S есть М

Ни одно S не есть Р

Ни одно дерево не летает

Все берёзы - деревья

Ни одна берёза не летает

М

Р

3. Вывод I

Все М есть Р

Некоторые S есть М

Некоторые S есть Р

S

Все зебры - полосатые

Некоторые лошади - зебры

Некоторые лошади - полосатые

4. Вывод О

М

S

Р

Ни одно М не есть Р

Некоторые S есть М

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

Ни одно растение не говорит

Некоторые формы жизни -растения

Некоторые формы жизни не говорят

Примеры ошибок: а) Все студенты сдают экзамены, а некоторые водители не сдают экзаменов. Значит, некоторые водители - не студенты.

Все Р есть М

Некоторые S не есть М

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

S

Р

		S
	М

б) Некоторые студенты занимаются музыкой, а ни один попугай музыкой не занимается, следовательно некоторые попугаи не являются студентами.

Некоторые Р есть М

Ни одно S не есть М

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

В обоих примерах вывод с необходимостью не следует из посылок, поскольку отношение субъекта и предиката в заключении не однозначно.

§ 5. Умозаключения, содержащие сложные суждения (Выводы логики высказываний)

В этих умозаключениях суждения не расчленяются на субъект и предикат, а рассматриваются как простые суждения, из которых с помощью логических союзов образуются сложные суждения. Выводы, таким образом, делаются не на основе отношения понятий (терминов), а на основе правил отношений суждений.