Непосредственные дедуктивные выводы

Если посылка - высказывание вида А, Е, J, О, то непосредствен­ный вывод принимает одну из следующих форм: вывод по логиче­скому квадрату (см. рис. 3.5), обверсия, конверсия, контрапозиция.

Обверсия(превращение) - это непосредственный вывод, в за ключении которого предикат посылки заменяется на противореча­щее ему имя, при этом изменяется ее качество. Правила обверсии:

А (Все S есть Р). -----Е (Ни одно S не есть не-Р).

J (Некоторые S есть Р)----. О (Некоторые S не есть не-Р).

Конверсия (обращение) - непосредственный вывод, в заключе­нии которого субъектом является предикат, а предикатом - субъект посылки.

Правила конверсии:

Е (Ни одно S не есть Р)------.Е (Ни одно Р не есть S).

J (Некоторые S есть Р)------.J (Некоторые Р есть S).

К частноотрицательным высказываниям конверсия не применя­ется.

Контрапозиция(противопоставление предикату) - непосредст­венный вывод, в заключении которого субъект выражается именем, противоречащим предикату посылки, а на место предиката стано­вится ее субъект, при этом посылка изменяет свое качество.

Правила контрапозиции:

E (Ни одно S не есть Р)--J (Некоторые не-Р есть S).

О (Некоторые S не есть Р)----- J (Некоторые не-Р есть S).

К частноутвердительным высказываниям контрапозиция не при­меняется.

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