2. Predicate logic
Definition (first-order predicate logic). First-order predicate logic or sentential logic or statement logic is a branch of logic that deals with quantified variables, so that rather than propositions such as "Socrates is a man" in propositional logic, there are formulas such as "There exists x such that x is Socrates and x is a man".
In the remainder of this article, (first-order) predicate logic will simply be referred to as simplified predicate logic.
Historically, it was initially a formalization of mathematical language and reasoning, proposed by G. Frege between the end of the 19th and the beginning of the 20th century, and "popularized" by B. Russel and A. N. Whitehead (1910-1913). Predicate logic was introduced to the mathematical community...
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Predicate logic
Conclusion
Bibliography
The Ultimate Scientific and Technical Reference
