дедуктивні умовиводи
1. Общеутвердітельное судження перетворюється в общеотріцательное
(А) Всі S є Р
(Е) Жодне S не є не-Р
"Все вовки - хижі тварини". - "Ні один вовк не є нехижі тваринам".
2. Общеотріцательное судження перетворюється в общеутвердительное
(Е) Жодне S не є Р
(А) Всі S є не-Р
"Жоден багатогранник не є плоскою фігурою". - "Все багатогранники є неплоскими фігурами".
3. Частноутвердітельное судження перетворюється в приватно-негативне
(I) Деякі S є P
(О) Деякі S не є не-Р
"Деякі гриби їстівні". - "Деякі гриби не є неїстівними".
4. Частноотріцательное судження перетворюється в приватно-стверджувальне
(О) Деякі S не є Р
(I) Деякі S є не-Р
"Деякі злочини не є навмисними". - "Деякі злочини є ненавмисними".
Звернення - безпосереднє умовивід, в якому відбувається зміна місць суб'єкта і предиката при збереженні якості судження, тобто в ув'язненні суб'єктом є предикат, а предикатом - суб'єкт вихідного судження.
Звернення підпорядковується правилу розподіленості термінів у судженні. Розрізняють просте (чисте) звернення і звернення з обмеженням. Звернення буде простим, якщо суб'єкт і предикат вихідного судження або обидва розподілені, або обидва не розподілені. Звернення з обмеженням буває тоді, коли у вихідному судженні суб'єкт розподілений, а предикат НЕ розподілений або, навпаки, суб'єкт не розподілений, а предикат розподілений.
1. Общеотріцательное судження (Е) завжди звертаються чисто
(Е) Жодне S + не є Р +
(Е) Жодне Р + нема S +
"Жоден невинний не повинен бути засуджений".
"Жоден засуджений не повинен бути невинний".
2. Общеутвердітельние судження (А):
а) Чисте звернення при збігу обсягів суб'єкта і предиката:
б) Звернення з обмеженням, коли предикат НЕ розподілений:
(А) Всі S + є Р +
(А) Всі Р + є S +
(А) Всі S + є Р
(I) Деякі Р- є S +
"Всі злочини - суспільно небезпечні діяння".
"Все суспільно небезпечні діяння - злочину".
"Все їли - дерева".
"Деякі дерева - ялини".
3. Частноутвердітельное судження (I):
а) Просте звернення при нерозподілений обох термінів:
б) Звернення зі зміною обсягу, якщо предикат розподілений:
(I) Деякі S- є Р-
(I) Деякі Р- є S-
(I) Деякі S- є Р +
(А) Всі Р + є S-
"Деякі рослини - отруйні організми".
"Деякі отруйні організми - рослини".
"Деякі музиканти - композитори".
"Все композитори - музиканти".
4. частноотріцательние судження (О) не звертаються, оскільки не можна встановити, виходячи з розподіленості предиката, як ставиться його обсяг до обсягу нерозподіленого суб'єкта.
(О) Деякі S- не є Р +
Усе? Деякі? Р не є S
Протиставлення предикату - безпосереднє умовивід, в результаті якого предикатом стає суб'єкт, а суб'єктом - поняття, яке суперечить предикату вихідного судження, і зв'язка змінюється на протилежну.
Протиставлення предикату може бути розглянуто як результат послідовно виконаних операцій перетворення і звернення.
1. Общеутвердітельное судження
(А) Всі S є Р
(Е) Ні одне не-Р не є S
"Все слідчі - юристи".
"Жоден не юрист не є слідчим".
2. Общеотріцательное судження
(Е) Жодне S не є Р
(I) Деякі не-Р є S
"Жоден червоний мухомор не є їстівним грибом".
"Деякі неїстівні гриби є червоні мухомори".
3. Частноотріцательное судження
(О) Деякі S не є Р
(I) Деякі не-Р є S
"Деякі юристи не є слідчими".
"Деякі не слідчі є юристами".
4. Частноутвердітельное судження (I) НЕ перетворюються протиставленням предикату, т. К. Певний висновок зробити неможливо.
Велика посилка - загальна,
менша посилка - стверджувальна.
Всі злаки (М) - рослини (Р)
Жито (S) - злак (М)
Жито (S) - рослина (P)