Все S суть Р

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

Правильность полученного заключения можно проверить путем последовательного применения двух логических операций: превра­щения и обращения. Исходное общеутвердительное суждение «Все S суть Р» превращается в общеотрицательное с отрицательным пре­дикатом «Ни одно S не есть не-Р». Общеотрцицательное суждение обращается без ограничения. Получаем общеотрицательное сужде­ние «Ни одно не-Р не есть S».

Общеотрицательное суждение (Е) преобразуется в частноу­твердительное (I). Например: «Ни одно промышленное предпри­ятие нашего города не является убыточным. Следовательно, некото­рые неубыточные предприятия являются промышленными пред­приятиями нашего города».

Схема противопоставления предикату суждения Е:

Ни одно S не есть Р Некоторые не-Р суть S '

Проверим правильность заключения с помощью превращения и обращения. Исходное общеотрицательное суждение «Ни одно S не есть Р» превращается в общеутвердительное с отрицательным пре­дикатом «Все S суть не-Р». Так как предикат общеутвердительного суждения не распределен, его обращение дает частноутвердитель­ное суждение «Некоторые не-Р суть S».

Частноутвердительное суждение (I) посредством противопо­ставления предикату не преобразуется. Превращение суждения «Некоторые S суть Р» дает Частноотрицательное суждение «Некото­рые S не суть не-Р». Но Частноотрицательное суждение не обраща­ется.

Частноотрицательное суждение (О) преобразуется в частноу­твердительное (I). Например: «Некоторые свидетели не являются совершеннолетними. Следовательно, некоторые несовершеннолет­ние являются свидетелями».

Схема противопоставления предикату суждения О:

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

Проверим правильность заключения посредством превращения и обращения. Частноотрицательное суждение «Некоторые S не суть Р» превращается в частноутвердительное «Некоторые S суть не-Р», которое обращается также в частноутвердительное «Некото­рые не-Р суть S».

Значение умозаключений посредством противопоставления пре­дикату состоит в том, что в них выясняется отношение предметов, не

входящих в объем предиката, к предметам, отраженным субъектом исходного суждения. Устанавливая отношение между этими пред­метами, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении.