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

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

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

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

Условие

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

Решение

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

∃x∀yΦ(x,y)→¬∀x¬∀yΦ(x,y)∧∃zΨ(z,y):
подформулы
Φ(x,y),
∀yΦ(x,y),
∃x∀yΦ(x,y),
Ψ(x,y),
∃zΨ(z,y),
∀yΦ(x,y)∧∃zΨ(z,y),
¬∀yΦ(x,y)∧∃zΨ(z,y),
∀x¬∀yΦ(x,y)∧∃zΨ(z,y),
¬∀x¬∀yΦ(x,y)∧∃zΨ(z,y),
∃x∀yΦx,y→¬∀x¬∀yΦx,y∧∃zΨz,y;
переменные
единственным свободным вхождением является последнее вхождение переменной y, все остальные вхождения всех переменных — связанные.

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

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

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