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

(Е→І) Е Ни одно 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