логика

[AGatman]

что значит: неэквивалентные формулы первого порядка f и g, такие что Ех f эквивалентна Ех g

@темы: Математическая логика

Comments

[AGatman]

неужели никто не знает?

[Гость]

Неэквивалентные формулы означает, что существует такая интерпретация, в которой эти формулы не равнозначны (пример: f такая что x=1 и g такая что x=0, то в интерпретации действительных чисел они не эквивалентны.)
Эквивалентны: значит, что равнозначны во всех интерпретациях (пример привести так с ходу и не могу, могу только сказать что если навесить на f и g квантор существования, то пример будет не верен, так как в интерпретации могут не существовать или 0, или 1)

[AGatman]

Пожалуйста, приведите пример

[AGatman]

а если f и g зависят только от х? что изменится?