Cтраница 1
Предикат равенства сохраняется при всяком взаимно однозначном соответствии. [1]
Роль обоих предикатов равенства и - будет различна. Слабое равенство будет служить операцией при построении частично-рекурсивных предикатов; мы вскоре увидим ( теорема XVII, фф. [2]
Соединение по предикату равенства называется эквиооедвнени-ем. Исключив из последнего с помощью проекции повторяющиеся столбцы, мы получим так называемое естественное соединение связей. [3]
Аксиомы I определяют предикат равенства. [4]
Иногда даже удобно вычислять предикат равенства до вычисления обычного предиката в теле того же правила, чтобы использовать горизонтальное распространение информации ( гл. [5]
Допустим, что мы используем предикат равенства для записи этой теоремы. Допустим также, что мы применяем обычные соглашения и используем х у, хфу и ( хоу) для обозначения литер ( А, у), - ( л:, у) и функции о ( л:, у) соответственно. [6]
Заметим, что мы исключаем предикаты равенства путем подстановки констант в. [7]
Когда для сравнения вещественных величин используется предикат равенства, нужно позаботиться о том, чтобы приближенное представление вещественных чисел не привело к непредсказуемым результатам. [8]
Кроме того, в LDL поддерживаются предикаты равенства и неравенства и несколько арифметических предикатов. [9]
Интерпретация этой сигнатуры называется нормальной, если предикат равенства интерпретируется как тождественное совпадение элементов носителя. [10]
Для простоты мы снова предполагаем, что числовые переменные, а также символы для предиката равенства и для арифметической функции следования совпадают с употреблявшимися ранее. Эти несущественные Добавки к допущениям а) - в) в дальнейшем специально оговариваться не будут. [11]
Уберите из доказательства леммы 12.3 многочисленные сложности, связанные с присутствием в Г термов, предиката равенства и других предикатных символов. [12]
Ввиду того что исчисление предикатов позволяет оперировать с отдельными объектами ( переменными и константами), иногда полезно вводить предикат равенства между этими объектами, однако это не будет обязательным. Переменные, предикатные и функциональные константы обозначаются буквами или словами, иногда снабженными верхними и / или нижними индексами. [13]
Пусть S (, 0, /, 0, ), где - бинарный предикатный символ ( аналог предиката равенства), 0 - 0-арный, / - унарный, 0 и - бинарные термальные символы. [14]
Простейшим и наиболее важным примером служит исчисление предикатов с равенством, получаемое из обычного ( классического или интуиционистского) предикатов исчисления путем введения индивидуального предиката равенства и характеризующих его постулатов. [15]