Прибираємо проміжне судження і отримуємо належну формулу. (А→Е) А Усі S є P → Е Жодне Р не є не-S («Усі бюджети є точними плановими показниками» → «Жодні планові показники

(А→Е) А Усі 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