Условие задачи
Представьте предикат
а) в предваренной нормальной форме,
б) в сколемовской нормальной форме
Ответ
Приведем формулу к ПНФ.
1) Произведем замену переменной х, связанной квантором всеобщности, х = v, и переменной y, связанной квантором существования, y = w:
Потяни
