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

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

Выписать все подформулы данной формулы сигнатуры .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% задачи недоступно для прочтения

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

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