PREDICATE: значение слова

[̘. ̈n.ˈpredɪkɪt]
1. сущ.

1) грам. предикат, сказуемое

2) лог. утверждение
2. гл.

1) утверждать тж. лог. (of, about) Syn : affirm, declare

2) амер. основывать (утверждение и т. п.) на фактах (upon) This is predicated upon my confidence in his ability. ≈ Это основывается на моей уверенности в его даровании.

(грамматика) (логика) предикат, сказуемое (логика) утверждение предикативный - * noun предикативное существительное, существительное в роли именной части составного сказуемого утверждать; заявлять; делать заявление (американизм) основывать (утверждение и т. п.) на чем-л. - my plan is *d on the assumption that... в своем плане я исхожу из того, что... (грамматика) (логика) предицировать наводить на мысль - grass *s greenness трава вызывает представление о зеленом цвете (редкое) проповедовать (разговорное) предсказывать

predicate амер. основывать (утверждение и т. п.) на фактах (upon) ~ вчт. предикат ~ грам. сказуемое, предикат ~ утверждать (тж. лог.; of, about) ~ лог. утверждение

calculus
исчисление предикатов

лог. исчисление предикатов

features
предикатные возможности, возможности описания свойств отношений

form
мат. предикативная форма

function
мат. предикативная функция

hierarchy
мат. иерархия предикатов

inference
мат. предикатный вывод

interpretation
мат. предикатная интерпретация

language
язык предикатов

letter
мат. предикатная буква

logic
логика предикатове

logic-based language
язык (программирования), основанный на логике предикатов

node
предикативный узел (в блок-схеме структурированной программы)

nominative
(грамматика) именная часть составного сказуемого (в именительном падеже; в латинском, греческом и др. языках)

noun
предикатив

of predicates
мат. предикат предикатов

preserving
мат. сохраняющий предикат

programming
мат. предикатное программирование

selectivity
применяемость предиката (характеризующая частоту его использования)

symbol
мат. предикатный символ

tautology
мат. предикатная тавтология

transformer
преобразователь предикатов (функция, отображающая предикаты в предикаты)

variable
предикатная переменная

vertex
мат. предикатная вершина