Выписать все подформулы данной формулы сигнатуры Σ={+,∙,≤,0}. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Выписать все подформулы данной формулы сигнатуры Σ={+,∙,≤,0}

Выписать все подформулы данной формулы сигнатуры Σ={+,∙,≤,0} .pdf

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

Условие

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

Решение

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

Выпишем подформулы:
x≤y+x
0≤y
x≤y+x→0≤y
∀xx≤y+x→0≤y
x=z
φ=∀xx≤y+x→0≤y∨(x=z)
Поскольку существуют связанные и свободные вхождения переменной x в формулу φ, то x является связанной и свободной переменной

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

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

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