Example predicates include linear inequalities (e.g., formula_1) or equalities involving uninterpreted terms and function symbols (e.g., formula_2 where formula_3 is some unspecified function of two unspecified arguments.
Примерами предикатов являются линейные сравнения (formula_1) или равенства, включающие так называемые неинтерпретируемые термы или функциональные символы: formula_2, где formula_3 это некоторая неопределенная функция от двух аргументов.