Загальностверджувальне судження.
А(8Р) —> Е(8 - Р): "Усі 8 є Р, отже, жодне 8 не є не Р".
Основою утворення умовиводу тут виступає закономірність відношення обсягів двох суперечливих понять, які є предикатами одного і
того самого суб'єкта. Відомо, що два суперечливих поняття (Р і ~Р) завжди вичерпують обсяг свого родового поняття. Якщо відомо, що даний предмет входить до обсягу Р, то це є підставою для висновку, що він не входить до обсягу ~Р, і навпаки. Подвійне заперечення (не є не Р), що використовується у судженні-висновку означає рівнозначність цих двох суджень.
Наприклад:
А Усі адвокати - юристи.
Е Жоден адвокат не є не юристом.
Загальнозаперечне судження.
E(SP) -> A(S ~Р): "Жодне S не є Р, отже, всі S є не Р".
Наприклад:
Жодна кішка не є собакою. Усі кішки є не собаками.
Частковостверджувальне судження.
1(SP) —"0(S ~Р): "Деякі S є Р, отже, деякі S не є не Р".
Наприклад:
Деякі студенти є відмінниками. Деякі студенти не є не відмінниками.
Частковозаперечне судження.
О(БР) -> 1(5 ~Р): "Деякі Б не є Р, отже, деякі Б є не Р".
Наприклад:
Деякі жінки не є депутатами. Деякі жінки є не депутатами.
6. Протиставлення предикатові
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „МОДУЛЬ 3. УМОВИВІД“ на сторінці 2. Приємного читання.