Свободное связанное вхождение

Cтраница 1

Свободные и связанные вхождения переменных в формулу, параметры формулы, замкнутые формулы определяются обычным образом ( см. [20]), следует лишь иметь в виду, что в нашем языке связанные переменные встречаются уже в термах и функторах. [1]

Понятие свободного и связанного вхождения переменного кортежа аналогично глобальной или локальной переменной в программе на языке с вложенными декларациями процедур. [2]

Формулы, свободные и связанные вхождения переменных-кортежей в эти формулы определяются рекурсивно следующим образом. [3]

Различие между свободным и связанным вхождением переменной всегда связано с термом или формулой, для которых ( в каждом случае) рассматривается это вхождение. [4]

Пары название части. - номер части.| Число используемых кресел. [5]

Правила для определения свободных и связанных вхождений переменных остаются теми же, что и для исчисления кортежей. [6]

Вообще, следует говорить именно о свободных и связанных вхождениях данной переменной в данное выражение. [7]

Из этого определения видно, что при установлении истинности формулы Ф сигнатуры Е свободные и связанные вхождения переменных в формулу Ф играют совершенно различные роли. А именно, свободным вхо - ждениям переменной х приписывается постоянное значение у ( х), в то время как связанным вхождениям переменных никакие постоянные значения не приписываются, а рассматриваются всевозможные их значения. [8]

Переименовать ( если необходимо) связанные переменные таким образом, чтобы никакая переменная не имела бы одновременно свободных и связанных вхождений. [9]

Одновременно определяются понятия свободных и связанных вхождений переменных. [10]

Пусть в системе G1 или G2 дано доказательство секвенции, в которую никакая переменная не входит и свободно, и связанно. Тогда, заменяя в секвенциях этого доказательства свободные и связанные вхождения переменных ( так, что каждое применение постулата остается применением того же постулата), можно получить такое доказательство той же секвенции, в которое никакая переменная не входит и свободно, и связанно. [11]

Можно дать индуктивное определение формулы расширенного исчисления предикатов, аналогичное определению, данному выше, на стр. Различие заключается лишь в том, что вместо свободных и связанных вхождений предметных переменных и кванторов, действующих на такие переменные, приходится рассматривать вхождения и кванторы, относящиеся как к предметным, так и к предикатным переменным. [12]

Проблемы, возникающие при оперировании с кван-тификациями и областями действия кванторов, иногда бывают достаточно сложными. В частности, к некоторым трудностям может привести одновременное присутствие в формуле свободных и связанных вхождений одной и той же переменной. Положение заведомо проще для случая предваренных форм. [13]

Страницы: 1