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

Реферат.Справочник
Контрольные работы по логике
В формуле указать свободные и связанные переменные

В формуле указать свободные и связанные переменные .pdf

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

Условие

В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные. ∃x∀yAx,y∧∃x∀yBx,y.

Решение

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

В заданной формуле все переменные связанные. Приводим ее к предваренной нормальной форме.
F= ∃x∀yAx,y∧∃x∀yBx,y=∃x∀yAx,y∧∃z∀yBz,y=
(переименование)
=∃x∀y∃zAx,y∧Bz,y- предваренная нормальная форма.
(квантор ∃x вынесен перед формулой, поскольку переменной х нет в формуле Bz,y, квантор ∃z вынесен перед формулой, поскольку переменной z нет в формуле Ax,y, квантор ∀y вынесен перед формулой, поскольку квантор общности можно переносить через конъюнкцию).
Все переменные связанные.

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

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

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