First-order logic
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is 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.
[edit]
See also
- ACL2 — A Computational Logic for Applicative Common Lisp.
- Equiconsistency
- Extension by definitions
- Herbrandization
- Higher-order logic
- List of logic symbols
- Löwenheim number
- Nonfirstorderizability
- Prenex normal form
- Relational algebra
- Relational model
- Second-order logic
- Skolem normal form
- Tarski's World
- Truth table
- Type (model theory)
- Prolog
Unless indicated otherwise, the text in this article is either based on Wikipedia article "First-order logic" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.