Прибираємо проміжне судження і отримуємо належну формулу.

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

Читайте також:

<== попередня сторінка	\|	наступна сторінка ==>
Прибираємо проміжне судження і отримуємо належну формулу.	\|	Протиставлення видів атрибутивних суджень

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

Генерація сторінки за: 0.004 сек.