Логика предикатов

Формализовать посылки и гипотезу с использованием языка логики первого порядка и показать с помощью метода резолюций, что гипотеза логически следует из посылок или, если это не так, найти такую интерпретацию, в которой все посылки принимают значение «истина», а гипотеза принимает значение «Ложь»
Ответ должен содержать
1. Условие задачи.
2. Анализ типов утверждений (посылок и гипотезы).
3. Имена предикатов (обозначение), которые будете использовать, и их смысл.
4. Перевод посылок и гипотезы на язык формул логики первого порядка
5. Перевод формул, выражающих посылки и гипотезу, в предварённую нормальную форму.
6. Перевод формул, выражающих посылки и гипотезу, в сколемовскую нормальную форму
7. Выписать множество дизьюнктов (на разных строках через номера).
8. Резолютивный вывод пустого дизьюнкта (через присвоенные номера дизьюнктам с пояснениями).
9. Если гипотеза не следует из посылок - определение интерпретации, в которой все формулы, выражающие посылки, истинны, а формула, выражающая