предикат
41Предикат — (от лат. praedicatum сказанное), в узком смысле то же, что и свойство, в широком смысле отношение, т.е. свойство нескольких предметов. В логике пропозициональная функция, т.е. выражение с неопределенными терминами (переменными), при выборе… …
42предикат — а; м. (лат. praecdicatum) см. тж. предикатный 1) лог., лингв. То, что в суждении высказывается о предмете суждения; логическое сказуемое, указывающее на свойства предмета, его состояние и отношение к другим предметам. 2) лингв. = сказуемое …
43предикат — іменник чоловічого роду …
44предикат — з.б.п …
45предикат — предикат/ …
46предикат — (лат.). То же, что сказуемое …
Грамматический словарь: Грамматические и лингвистические термины
47РЕКУРСИВНЫЙ ПРЕДИКАТ — предикат Р(х 1, . . .,х п), определенный на натуральных числах и такой, что функция f, заданная на натуральных числах условием истинно, ложно, является рекурсивной функцией. В …
48Определяющий предикат — У этого термина существуют и другие значения, см. Определяющий предикат (значения). Определяющий предикат представляет собой единство собственного предиката с выражением сущности предмета, фиксируемого родовым предикатом. Таким образом,… …
49РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… …
50НУМЕРИЧЕСКИ ВЫРАЗИМЫЙ ПРЕДИКАТ — арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством: существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает …