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