Логика предикатов — набор формальных систем, используемых в математике, философия, лингвистика и информатика. Логика первого порядка использует количественные переменные над нелогическими объектами и позволяет использовать предложения, содержащие переменные, так что вместо предложений типа «Сократ — человек» можно иметь выражение в форме «x такой, что x — это Сократ, а x — это человек », и существует квантор, а x — переменная. Это отличает его от логики высказываний использует, которая не кванторы или отношения; в этом смысле логика высказываний используется логики первого порядка.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]