Предикат определение

Предикат - (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная. Предикат является основным объектом изучения логики первого порядка.

http://ru.wikipedia.org/wiki/%D0%9F%D1%8...