Логика первого порядка (
исчисление предикатов) — формальное исчисление, допускающее высказывания относительно
переменных, фиксированных
функций, и
предикатов. Расширяет
логику высказываний. В свою очередь является частным случаем логики высшего порядка.