Cвободные, связанные переменные и коллизии переменных

by @kuznetsovdm
Cвободные, связанные переменные и коллизии переменных

Есть открытый вопрос в интепретации

Как указано в лекциях?

По второй картинке все понятно и вопросов нет. В отличие от первой.

Обратимся к еще одному определению и примеру из учебника.

В примере выше написано, как и у вас в примере, что в одной формуле не может быть одной переменной одновременно связанной и свободной.

Далее обратимся к задачнику Тишина

И сразу видим предикат R под номером 3, который противоречит примеру выше. Это задание не связано с выделением свободных и связанных переменных, а также с поиском коллизий.

Далее видим аналогичные ситуации под номерами: 6, 9, 10, 16 и т.д.




ВОПРОС: Как с этим быть? Получается, что в задачнике Тишина есть повторяющиеся ошибки?

October 31, 2018
by Кузнецов Константин