предикат

Предика́т (n-местный, или n-арный) — это функция с областью значений (или «Истина» и «Ложь»), определённая на n-й декартовой степени множества M. Таким образом, каждую n-ку элементов M он характеризует либо как «истинную», либо как «ложную».Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.
Продолжение на Wikipedia.οrg...

предикат
1. м.
Понятие, определяющее предмет суждения - субъект - и раскрывающее его содержание (в логике).
2. м.
Член предложения, обозначающий признак, отнесенный во времени; сказуемое (в лингвистике).

(от лат. praedicatum - сказуемое)
в узком смысле - то же, что свойство; в широком смысле - отношение, т. е. свойство нескольких предметов. В логике - пропозициональная функция, т. е. выражение с неопределенными терминами (переменными), при выборе конкретных значений для этих терминов преобразующееся в осмысленное (истинное или ложное) высказывание.

[مذکر] : predicate
[.vt. & n]: مسند ، خبر ، مسندي ، خبري ، خبر دادن ، اطلاق کردن ، به صورت مسند قرار دادن ، مبتني کردن ، مستند کردن ، گزاره ، دلالت کردن