Вывод А

 

Все М есть Р

Все S есть М

Все S есть Р

 

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

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

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

 

S
М
2. Вывод Е

 

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

Все S есть М

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

 

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

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

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

 

М
Р
3. Вывод I

 

Все М есть Р

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

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

S

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

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

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

 
 


4. Вывод О

 
 


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

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

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

 

 

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

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

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

 

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

Все Р есть М

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

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

S
Р

       
   
S
 
М
 

 


 

 

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

 

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

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

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

       
 
   
 

 

 


 

 

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

 

 

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

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