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

Обозначим:
А = «х – сильный»;
В = «х – умный»;
С = «х добьется успеха».
Р = «Петр»
Посылки:
П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