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

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

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

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

"P не есть S

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

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

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

Р не есть S

(І→Е) I Некоторые S есть Р → Е Ни одно Р не есть не-S (как исключение) («Часть применяемых в мусульманском праве норм являются традициями и обычаями народов в странах распространения ислама» → «Все традиции и обычаи народов в странах распространения ислама не являются неприменяемыми в мусульманском праве нормами»).

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

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

"P не есть S

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

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

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

"P есть S

Суждение О (частноотрицательное) под общее правило, как считается, практически не подпадает. Вместе с тем:

(О→А) О Некоторые S не есть Р → А Все Р есть некоторыене-S («Некоторые новые законы еще не являются опубликованными» → «Все опубликованные законы являются не этими некоторыми новыми законами»).

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

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

"P есть S

(О→I) О Некоторые S не есть Р → I Некоторые Р есть не-S (как исключение) («Некоторые крещенные в Православной Церкви верующие не являются сторонниками православия» → «Некоторые сторонники православия являются неверующими, крещенные в Православной Церкви»).

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

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

P есть S