Убираем промежуточное суждение и получаем надлежащую формулу.

(Е→І) Е Ни одно S не есть Р → І Некоторые не-Р есть S («Ни один агностик не является материалистом» → «Некоторые нематериалисты являются агностиками»).

" S не есть Р " S не есть P " S есть P " S не есть Р

Р есть S " S есть Р Р есть S " S есть Р

Р есть S

(Е→А) Е Ни одно S не есть Р → А Все не-Р есть S (как исключение) («Все военнослужащие не являются уволенными в запас военными» → «Все неуволенные в запас военные являются военнослужащими»).

" S не есть Р " S не есть P " S есть P " S не есть Р

" Р есть S " S есть Р " Р есть S " S есть Р

" Р есть S

(О→І) О Некоторые S не есть Р → I Некоторые не-Р есть S («Некоторые преступления не являются умышленными деяниями» → «Некоторые неумышленные деяния являются преступлениями»).

S не есть Р S не есть P S есть P S не есть Р

Р есть S S есть P Р есть S S есть P

Р есть S

(О→А) О Некоторые S не есть Р → А Все не-Р есть S (как исключение) («Некоторые профессора на должности не являются аттестованными профессорами» → «Все неаттестованные профессора являются профессорами на должности»).

S не есть Р S не есть P S есть P S не есть Р

" Р есть S S есть P " Р есть S S есть P

" Р есть S

СужденияI (частноутвердительные) при операции противопоставления предикату, считают, не дают (или дают обедненные) выводы, и потому отмечают, что их не стоит подвергать этой операции. Вместе с тем:

(I→Е) I Некоторые S есть Р → Е Все не-Р не есть некоторые S («Некоторые методы научного познания являются теоретическими» → «Все нетеоретические методы научного познания – не эти некоторые методы»).

S есть P S есть P S не есть P S есть P

" Р не есть S S не есть P " Р не есть S S не есть P

" Р не есть S

(І→О) I Некоторые S есть Р → О Некоторые не-Р не есть S (как исключение) («Некоторые журналисты являются телеведущими» → («Некоторые нетелеведущие не являются журналистами»).

S есть P S есть P S не есть P S есть P

Р не есть S S не есть P Р не есть S S не есть P

Р не есть S

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

Противопоставление субъекту в суждениях А, I, Е, О, которое происходит по формулам:

(А→О) А Все S есть P → О Некоторые Р не есть не-S («Бюджетирование является важной сферой деятельности предприятий и различных организаций» → «Некоторые важные сферы деятельности предприятий и различных организаций не являются небюджетированием»).

Формула: Обращение: Превращение: Получаем:

" S есть P " S есть P S есть P " S есть P

Р не есть S Р есть S S не есть P Р есть S

Р не есть S