Определение - предикат
Cтраница 1
Определение предиката М ( л, k) мы сначала поясним неформально. Истинная предваренная формула без кванторной приставки представляет собой истинную формулу без переменных. Истинная предваренная формула с f - кванторной приставкой является либо формулой вида Vg3l ( 5) и тогда для любой цифры формула 31 ( а) является истинной предваренной формулой с f - кван-торной приставкой, либо формулой вида 3 31 ( Е) и тогда по крайней мере для одной цифры 8 формула 31 ( j) является истинной предваренной формулой с f - кванторной приставкой. [1]
Определение предиката LISTP см. в разд. [2]
Наше определение предиката 1.3.12 завершено. Читатель может проверить в качестве простых упражнений, что сокращения V, -, - и 3 имеют свои обычные значения. [3]
Из определения предиката раь следует, что он стандартен и не содержит фиктивных переменных. [4]
Расширение определения предиката is / 2 позволяет его второму аргументу вызвать процедуру. [5]
По определению предиката Р, утверждение Р0 ( а, с) имеет место тогда и только тогда, когда P ( d, с), где а и с - классы эквивалентности, которым принадлежат d и с соответственно. [6]
Определение аналогично определению предиката bag / 3, за исключением того, что в данном случае Список должен быть отсортирован1 с удалением из него термов-дубликатов. [7]
Совершенно аналогично выглядит определение предиката формула с номером п получается из отличной от нее формулы с номером т в результате подстановки вместо формульной переменной без аргументов. Это определение отличается от предыдущего лишь тем, что в отношении stx ( т, k, /) п число k в данном случае должно быть номером какой-нибудь формульной переменной без аргументов, а число / - номером какой-либо формулы. [8]
 |
Методика построения связной диаграммы и соответствующего предиката, отражающих геометрическую структуру ФХС. [9] |
Для реализации метода машинно-ориентированного определения предиката Р из диаграмм связи геометрии ФХС вводится иерархия выполнения ЛАО. На первом уровне выполняется операция отрицания, осуществляемая в первую очередь. Ко второму уровню относятся операции V и / V Выполняется сначала та из ЛАО, которой инцидентен более чем один ( т - 1) геометрический элемент. [10]
Язык Пролог позволяет записывать определения предикатов на некоторым образом ограниченном языке исчисления предикатов, а затем исполнять их так как будто это функции ламбда-исчисления. Рассмотрим предикат между ( between ( X, L, U)), который выражает тот факт, что число X лежит между L и U или совпадает с одним из этих чисел. Таким образом, формула between ( 5 5 10) истинна, а формула between ( 4 5 10) ложна. [11]
Мы видели, как определение предиката Арр используется для построения списков. Посмотрим теперь, как можно использовать функции саг и cdr ( их называют селекторными), которые определяются нашими первоначальными аксиомами для списков. [12]
А это, согласно определению предиката 7п, означает, что / G F. [13]
Ниже следует ряд из тринадцати определений метаматематических предикатов. Каждое определение задается перечислением случаев, в которых определяемый предикат должен быть истинным. [14]
Этот метод применим также к определениям предикатов посредством возвратной рекурсии. [15]
Страницы: 1 2 3