Под исчислением предикатов понимается формальный язык для представления отношений в некоторой предметной области. Основное преимущество исчисления предикатов — хорошо понятный мощный механизм математического вывода, который может быть непосредственно запрограммирован.
Предикатом называют пропозициональное выражение, в котором используются высказывания, логические связки между высказываниями и кванторы существования и всеобщности .
Исчисление предикатов первого порядка позволяет связывать с помощью знака квантора переменные, соответствующие объектам из предметной области, но не предикаты или функции.
Исчисление предикатов второго порядка отличается тем, что позволяет связывать знаком квантора не только переменные, соответствующие объектам из предметной области, но и предикаты или функции.