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

Реферат.Справочник
Контрольные работы по высшей математике
Представьте предикат в предваренной нормальной форме

Представьте предикат в предваренной нормальной форме .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Представьте предикат а) в предваренной нормальной форме, б) в сколемовской нормальной форме xP(x, y)yQ(x, y)

Решение

Потяни, чтобы посмотреть

Приведем формулу к ПНФ.
1) Произведем замену переменной х, связанной квантором всеобщности, х = v, и переменной y, связанной квантором существования, y = w:
xP(x, y)yQ(x, y) = vP(v, y)wQ(x, w).
2) Вынесем кванторы в начало формулы, не нарушая их последовательности:
vP(v, y)wQ(x, w) = vw(P(v, y)Q(x, w)) – ПНФ.
Приведем формулу к СНФ, удалив квантор существования

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу