Логика предикатов — это формальная система для представления утверждений об объектах, свойствах и отношениях с использованием переменных и кванторов. Она расширяет пропозициональную логику и широко используется в математике, философии, лингвистике и представлении знаний.
(Also first-order logic, predicate logic, and first-order predicate calculus.) A collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as Socrates is a man one can have expressions in the form "there exists x such that x is Socrates and x is a man" and there exists is a quantifier while x is a variable. in this sense, propositional logic is the foundation of first-order logic.