Прибираємо проміжне судження і отримуємо належну формулу.
(А→Е) А Усі 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 є PS є PS є PS є P
Р не є S P є S S не є P P є S
Р не є S
(І→Е) I Деякі S є Р→ Е Жодне Р не є не-S («Частина вживаних у мусульманському праві норм є традиціями і звичаями народів у країнах поширення ісламу» → «Усі традиції і звичаї народів у країнах поширення ісламу не є незастосовними в мусульманському праві нормами»).
S є PS є P"S є PS є 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 не є PS не є P"S не є PS не є P
"P є S "P не є S "S є P "P не є S
"P є S
(О→I) О Деякі S не є Р→ I Деякі Р є не-S («Деякі хрещені в Православній Церкві віряни не є прибічниками православ'я» → «Деякі прибічники православ'я є невіруючими, хрещені в Православній Церкві»).