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

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

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

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

Условие

Пусть Φ, Ψ, Χ – атомарные формулы логики предикатов. Выписать все подформулы данной формулы и определить свободные и связанные переменные формулы: ∀x∃yΦx,y∨∀yΨx,y∧∃x¬(Φx,y∧∀yΨ(x,y))

Решение

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

Выпишем подформулы:
φ=∀x∃yΦx,y∨∀yΨx,y∧∃x¬(Φx,y∧∀yΨ(x,y))
∀x∃yΦx,y∨∀yΨx,y
∃x¬(Φx,y∧∀yΨ(x,y))
∃yΦx,y∨∀yΨx,y
¬(Φx,y∧∀yΨ(x,y))
Φx,y∧∀yΨx,y
∃yΦx,y
∀yΨx,y
Φx,y
Ψx,y
Поскольку существуют связанные и свободные вхождения переменных x и y в формулу φ, то x и y являются связанными и свободными переменными.

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

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

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