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

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

Установить является ли данное выражение формулой .pdf

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

Условие

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

Решение

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

1) Данное выражение составлено из переменных предикатов A(x) и B(y,z) с помощью логической операции конъюнкции и кванторов общности и существования. Это выражение обращается в конкретный предикат при подстановке вместо переменных конкретных предикатов. Следовательно, данное выражение является формулой логики предикатов.
Переменные x и y, указанные при кванторах, являются связанными . Переменная z является свободной.
2) Данное выражение составлено из переменных предикатов A(x), B(y) и C(y,z) с помощью логической операции конъюнкции и кванторов общности и существования. Это выражение обращается в конкретный предикат при подстановке вместо переменных конкретных предикатов

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

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

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