Cтраница 1
Навешивание квантора по одной из предметных переменных на n - местную высказывательную функцию превращает ее в ( я - - местную высказывательную функцию, а одноместную высказывательную функцию - в высказывание. Переменная, по которой навешен квантор, называется связанной переменной, в отличие от остальных переменных, называемых свободными переменными. [1]
В итоге навешивания квантора на двуместный предикат получается одноместный кванторный предикат, а навешивания квантора на трехместный предикат - двухместный, на одноместный предикат, мы видели, - высказывание. Это дает основание считать высказывание нуль-местным предикатом. [2]
Пга получаются навешиванием кванторов на разрешимые множества, а разрешимое множество арифметично. [3]
При этом, рассматривая навешивание кванторов V и 3, мы вновь опираемся на тот факт, что D сохраняет суммы. [4]
Класс элементарных отношений замкнут относительно логических операций навешивания ограниченных кванторов. [5]
Следовательно, класс также замкнут относительно операции навешивания ограниченного квантора существования. [6]
Будем говорить, что S получено из R навешиванием ограниченного квантора существования. [7]
Из теоремы 2.2 Ь следует лишь замкнутость относительно операции навешивания ограниченного квантора существования. Замкнутость % п относительно операции навешивания ограниченного квантора общности следует из дальнейшего. [8]
Будем говорить, что язык L выводим из № путем навешивания р-ограниченного квантора существования. [9]
NP есть множество языков, выводимых из элементов Р2) путем навешивания полиномиально-ограниченных кванторов существования. [10]
Указанные выше свойства ( I) - ( III) операций навешивания неограниченных кванторов сохраняются, разумеется, и для ограниченных кванторов. [11]
В качестве порождающих операций класса R рассматриваются операции логики высказываний, операции навешивания ограниченных кванторов ( Эх) х у и ( V), а также явные преобразования. [12]
В итоге навешивания квантора на двуместный предикат получается одноместный кванторный предикат, а навешивания квантора на трехместный предикат - двухместный, на одноместный предикат, мы видели, - высказывание. Это дает основание считать высказывание нуль-местным предикатом. [13]
V Gn, где каждая формула d является конъюнкцией атомарных формул, результатов навешивания кванторов на булеву комбинацию атомарных формул, отрицания атомарных формул и описанных результатов навешивания кванторов. [14]
Затем, двигаясь изнутри предложения вовне его, последовательно заменяем формулы, получаемые навешиванием квантора существования на бескванторную формулу, коэкстенсивными с ними бескванторными формулами ( в которых не встречаются новые свободные переменные) до тех пор, пока не придем к предложению, не имеющему связанных переменных, т.е. к бескванторному предложению. [15]