Консультация № 189503
25.05.2016, 19:36
0.00 руб.
0 4 1
Здравствуйте! У меня возникли сложности с таким вопросом:

Помогите произвести замену в формуле [$8707$]y[$8704$]x через сколемизацию.

Обсуждение

давно
Мастер-Эксперт
17387
18345
26.05.2016, 00:59
общий
Адресаты:
А какую формулу Вы имеете в виду?
Об авторе:
Facta loquuntur.
давно
Посетитель
399077
12
26.05.2016, 07:21
общий
Адресаты:
Вот эту ∃y∀x
давно
Мастер-Эксперт
17387
18345
26.05.2016, 07:54
общий
Адресаты:
По-моему, это не формула, а кванторная приставка.
Об авторе:
Facta loquuntur.
давно
Мастер-Эксперт
17387
18345
26.05.2016, 17:51
общий
это ответ
Здравствуйте, Дмитрий!

Как я понял из прочитанного здесь, при сколемизации необходимо исключить из формулы [$8707$]y [$8704$]x [$966$](x, y) квантор существования. Он связывает переменную y и является самым левым в кванторной приставке (префиксе формулы). Значит, нужно заменить все вхождения в формулу переменной y на новую константу c и вычеркнуть квантор из приставки. В результате получится формула [$8704$]x [$966$](x, c).

С уважением.
Об авторе:
Facta loquuntur.
Форма ответа