Язык логики предикатов удобен для записи математических предложений и определений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства. Приведем несколько примеров таких записей.
Пример 1. Определение предела “ 
” функции ƒ(х), определенной в области E, в точке x0: 
. Используя трехместный предикат 
, запишем: 
,
где 
.
Пример 8. Определение непрерывности функции в точке.
Функция 
, определенная на множестве E, непрерывна в точке 
, если 
, где 
.
