Условие задачи
Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
Каждый член группы любит логику и программирование. Некоторые члены группы – девушки. Следовательно, существуют девушки, которые любят программирование.
Ответ
Имеем
Преобразуем предложения, применяя преобразования Сколема.