предикат
 (англ. рredicate)   логічна функція, яка виражає деякі співвідношення між своїми аргументами: набуває значення “істина”, якщо це співвідношення є в дійсності; “обман”, якщо воно відсутнє.