Cтраница 3
Предикаты объединены в сильно связанные компоненты в соответствии с графом зависимостей. [31]
Предикат и функция должны иметь одно и то же количество аргументов повсюду, где они используются. [32]
Предикаты определены на множестве W, которое мы назовем предметной областью, или универсумом. Если ограничиться унарными предикатами ( т.е. имеющими только один аргумент), то каждый предикат можно представить множеством значений аргумента, на которых он истинен. Это множество, которое будет подмножеством W, называется экстенсионалом предиката. И обратно, если мы рассматриваем такое множество, то этот предикат, рассматриваемый как функция со значениями О, 1, называется характеристической функцией этого множества. Это связано с тем фактом, что у предикатов есть только два возможных значения. [33]
Предикат is ( есть, равно) - это специальный вид равенства, который вычисляет любой терм, составленный из целых чисел и символов арифметических функций (, -, , div), и рассматривает его как целочисленную константу. Это позволяет избежать огромных затрат, которые нужны при выводе арифметических равенств из аксиом арифметики Пеано. Аналогичным образом предикат больше позволяет избежать унификации огромного количества единичных дизъюнктов ( по одному на каждую пару целых чисел. [34]
Предикат setof основан на варианте предиката listp, в котором мы применяем assert для добавления многих вариантов memo - по одному на каждый частный случай. [35]
Предикат М ( х) разрешим, если функш см вычислима; М ( х) неразрешим, если функция CM невь числима. [36]
Предикат Л1 ( дг), чья характеристическая функция см рекурсивна, называется рекурсивным предикатом. [37]
Предикат 5 ( лг, y) R ( x, ( ц) 1э ( н) 2) разрешим ( как результат подстановки), и, следовательно, по теореме 6.4 предикат ( дг, у) является частично разрешимым. [38]
Предикат М ( х) называется элементарным, если его характеристическая функция См элементарна. [39]
Предикат Л ( х), означающий ж есть простое число, может быть получен отрицанием предыдущей формулы. [40]
Предикат zfx представляет искомую полную нумерацию. [41]
Предикат р назовем стандартным, если соответствующая ему матрица Хр не содержит одинаковых строк. [42]
Предикат х у является арифметическим. [43]
Предикат о; - простое число арифметичен. В самом деле, число просто, если оно отлично от 1 и любой его делитель равен 1 или самому числу. Это сразу же записывается в виде формулы. [44]
Предикат слово х состоит из одних нулей ариф-метичен. В самом деле, при переходе к числам ему соответствует предикат х 1 есть степень двойки, который ( как мы видели) арифметичен. [45]