Пусть Φ Ψ Χ Θ – формулы исчисления предикатов. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Пусть Φ Ψ Χ Θ – формулы исчисления предикатов

Пусть Φ Ψ Χ Θ – формулы исчисления предикатов .pdf

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

Условие

Пусть Φ, Ψ, Χ, Θ – формулы исчисления предикатов. Построить вывод формулы исчисления предикатов из данного множества гипотез. ∀yΦy∨∀x∃yΨx,y⊢∀x∃zΦx∨Ψx,z

Решение

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

Покажем вывод:
∀yΦy∨∀x∃yΨx,y→∀x∀yΦy∨∃yΨx,y (из свойства квантора всеобщности)
∀x∀yΦy∨∃yΨx,y→∀xΦx∨∃zΨx,z (аксиома Бернайса)
∀xΦx∨∃zΨx,z→∀x∃zΦz∨Ψx,z (из свойства квантора существования)

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

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

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