1. Главная
  2. Библиотека
  3. Высшая математика
  4. Представьте ниже приведенный на рисунке предикат в пред...
Решение задачи на тему

Представьте ниже приведенный на рисунке предикат в предваренной нормальной форме, и кроме того, в сколемовской нормальной форме.

  • Высшая математика
Представьте ниже приведенный на рисунке предикат в предваренной нормальной форме, и кроме того, в сколемовской нормальной форме.

Условие:

Представьте предикат

а) в предваренной нормальной форме, 

б) в сколемовской нормальной форме

Решение:

Приведем формулу к ПНФ.

1) Произведем замену переменной х, связанной квантором всеобщности, х = v, и переменной y, связанной квантором существования, y = w: