Свободные переменные

Cтраница 4

Номиналист разрешает поэтому связывать кванторами все и существует только такие свободные переменные, значениями к-рых являются конкретные предметы. [46]

L - 7xj - 5х20 уже выражена через эти же свободные переменные. [47]

Предположим еще, что высказывания из М таковы, что свободные переменные в них образуют формальные объекты. Такие высказывания называются правильными. [48]

Операция переименования связанных переменных существенно отличается от операции подстановки в свободные переменные. [49]

Это правило усложняется тем, что тело лямбда-абстракции может содержать свободные переменные. [50]

Проблема свободных переменных в редукции графов. [51]

Альтернативный подход заключается в том, чтобы некоторым образом преобразовать явные свободные переменные при компиляции - их присутствие становится неявно распределенным при вычислении. [52]

Обратите внимание, что правило спецификации позволяет некоторым формулам, содержащим свободные переменные ( то есть, открытым формулам), стать теоремами. [53]

ПРАВИЛО СУЩЕСТВОВАНИЯ: Предположим, что некий терм ( могущий содержать свободные переменные), появляется один или много раз в теореме. Тогда каждый ( или несколько, или все) из этих термов может быть заменен на переменную, которая больше нигде в теореме не встречается, и предварен соответствующим квантором существования. [54]

Страницы: 1 2 3 4