Предикат (predicate)

деяка логічна функція від довільного числа аргументів, яка приймає одне з двох можливих значень – "істина" або "хибність"

» Глосарій до дисципліни "Методи та системи штучного інтелекту"