Логика первого порядка — формальная система, в которой кванторы общности и существования могут связывать только индивидуальные переменные, но не могут связывать символы предикатов или иных функциональных символов.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Логика первого порядка (также известная как исчисление предикатов первого порядка и логика предикатов) (First-order logic) – это набор формальных систем, используемых в математике, философии, лингвистике и информатике. Логика первого порядка использует количественные переменные вместо нелогических объектов и допускает использование предложений, содержащих переменные, так что вместо таких утверждений, как Сократ – человек, могут быть выражения в форме «существует такое X, что X есть Сократ и X – человек», и существует квантор, а X – переменная. Это отличает ее от логики высказываний, которая не использует кванторы или отношения.
[Чесалов А. Ю. Глоссариум по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр.]
Логика первого порядка — коллекция формальные системы, используемые в математике, философии, лингвистике и информатике. Логика первого порядка использует количественные переменные над нелогическими объектами и позволяет использовать предложения, содержащие переменные, так что вместо предложений, таких как Сократ, человек может иметь выражения в форме «существует X». такой, что X — это Сократ , а X — человек », и существует квантор, а X — переменная. Это отличает его от логики высказываний, в которой не используются кванторы или отношения.
[Глоссарий искусственного интеллекта. (Электронный ресурс). Режим доступа: http:// hrwiki.ru›wiki/Glossary_of_artificial_intelligence/, свободный.]