Функции предикатов в логике первого порядка отображают аргументы в значения истинности, определяя истинность утверждений.