Предикат (predicate) — лингвистический объект, аналогичный глаголу, сообщающий что-либо о сущностях, обозначенных термами.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Предикат — в исчислении предикатов специальный знак, отражающий определенное отношение между конечным множеством сущностей — аргументов. В обычном варианте исчисления предикатов в качестве значения П. на множестве означенных аргументов выступают два: истина и ложь.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Предикат (predicate) — утверждение, которое может быть истинным или ложным.
[Словарь терминов. (Электронный ресурс). Режим доступа: http:// dbase.accessdb.ru›7a/prilozhenie-b-slovar-…/, свободный.]