Выписать все подформулы данной формулы сигнатуры

уникальность
не проверялась

Аа

311 символов

Высшая математика

Контрольная работа

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

Выписать все подформулы данной формулы сигнатуры .pdf

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

Условие

Выписать все подформулы данной формулы сигнатуры Σ = {+,∙, ≤ ,0} и определить свободные и связанные переменные формулы: (x≤y)→∃z¬(x+z≤y)

Решение

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

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

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

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

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