Каждый кто силен и умен добьется успеха. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Каждый кто силен и умен добьется успеха

Каждый кто силен и умен добьется успеха .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Каждый, кто силен и умен, добьется успеха. Петр силен и умен. Значит, Петр добьется успеха.

Решение

Потяни, чтобы посмотреть

Обозначим:
А = «х – сильный»;
В = «х – умный»;
С = «х добьется успеха».
Р = «Петр»
Посылки:
П1: х(А ˄ В → С);
П2: = Р → А ˄ В.
Заключение:
Р → С.
Нужно построить следующий вывод:
A ˄ B→С, Р→А˄В ├ Р→С.
Построим вывод:
(1) A ˄ B→С – гипотеза;
(2) Р→А˄В – гипотеза;
(3) P → C – из (2) и (1) по правилу силлогизма;
Проверим вывод методом резолюций . Для этого нужно проверить вывод
A ˄ B→С, Р→А˄В, (Р→С)├ .
1) Приведем к КНФ формулы A ˄ B→С, Р→А˄В, (Р→С).
A ˄ B→С AB˅С;
Р→А˄В Р A ˄ В;
(Р→С) Р˄С.
2) Составим множество дизъюнктов:
К = {AB˅С, Р A ˄ В, Р˄С}.
3) Построим резолютивный вывод из K

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу