Деякі s єР
Отже, усі Р є S.
Частковостверджувальні судження, в яких суб'єкт і предикат не розподілені, обертаються в частковостверджувальні судження.
Наприклад:
(І) Деякі члени палати лордів – демократи.
(І) Отже, деякі демократи – члени палати лордів.
Схема обернення:
Деякі S є Р.
Отже, деякі Р є S.
Загальнозаперечуване судження, в яких і суб'єкт і предикат завжди розподілені, обертається без обмеження.
Наприклад:
(Е) Скло не проводить електричного струму.
(Е) Отже, жоден з тих предметів, що проводить електричний струм не є склом.
Схема обернення:
Жоден S не є Р.
Отже, жоден Р не є S.
Частковозаперечувані судження не обертаються, оскільки їх обернення дає недостатньо визначене знання.
Наприклад:
(О) Деякі королі не знали грамоти.
(О) Отже, деякі з тих, що знали грамоту, не королі.
В таких судженнях під час обернення не можна встановити певне відношення між суб'єктом і предикатом.
Протиставлення предикату - це така логічна операція, в результаті якої у вивідному судженні(тобто у висновку) суб'єктом є поняття, яке суперечить предикату вихідного судження(тобто засновку), предикатом є суб'єкт вихідного судження, а зв'язка змінюється на протилежну.
Інакше кажучи, щоб здійснити логічну операцію протиставлення предикату необхідно, по-перше, замість Р поставити не-Р, а замість не-Р - Р; по-друге, поміняти місцями S і Р; по-третє, змінити зв'язку на протилежну.
Наприклад:
Робінзон Крузо – людина.
Отже, жодна не людина не є Робінзон Крузо.
Схема протиставлення предикату така:
S є Р
Отже, не-Р не є S.
Протиставлення предикату – це така операція, в результаті якої одночасно здійснюються і перетворення і обернення в певній послідовності.
Загальностверджуване судження з допомогою протиставлення предикату перетворюється в загальнозаперечуване судження.
Наприклад:
(А ) Усі ромби – чотирикутники.
(Е) Отже, жоден не чотирикутник не є ромбом.
Схема протиставлення:
Усі S є Р
Отже, жоден не- Р не є S.
Частковостверджувальне судженняздопомогою протиставлення предикату дає невизначене знання і тому не перетворюється.
При протиставленні предикату частковостверджувального судження ми спочатку перетворюємо його в судження частковозаперечуване, а потім повинні обернути його, але судження частковозаперечуване , як відомо, не обертається.
Загальнозаперечуване судження з допомогою протиставлення предикату перетворюється в часткостверджувальне судження.
Наприклад:
(Е) Жодна людина не побувала на Марсі.
(І) Отже, деякі з тих, що не побували на Марсі є люди.
Схема протиставлення:
Жоден S не є Р.
Отже, деякі не-Р є S.
Частковозаперечуване судження з допомогою протиставлення предикату перетворюється в судження частковостверджувальне.
Наприклад:
(О) Деякі прямокутники не є квадратами.
(І) Отже, деякі не квадрати є прямокутники.
Схема протиставлення:
Деякі S не є Р.
Отже, деякі не-Р є S.
Запитання для повторення пройденого матеріалу.
Щ о таке умовивід?
В чому полягає специфіка безпосередніх умовиводів?
Чим відрізняються безпосередні умовиводи від опосередкованих?
Яка логічна операція здійснюється у перетворенні судження?
В які судження перетворюються судження?
Яка логічна операція здійснюється у оберненні А, І, Е, О судження?
Чим визначається кількість вивідного судження в операції обернення?
Що таке обернення з обмеженням і без обмеження?
Що таке просте обернення?
10. В які судження обертаються судження А, І, Е, О?
11. Яка логічна операція здійснюється у протиставленні предикату?
12. Які судження по кількості і якості одержуються у висновку, коли здійснюється операція протиставлення предикату по відношенню до суджень А, І, Е, О?