OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

First-order logic

 Home Mathematics Fields of mathematics Applied mathematics Mathematical modeling Model theory
 1 By others on same topic  0 Discussions  1970-01-01  See my version
First-order logic (FOL), also known as predicate logic or first-order predicate logic, is a formal system used in mathematical logic, philosophy, linguistics, and computer science to express statements about objects and their relationships. It expands upon propositional logic by introducing quantifiers and predicates, allowing for a more expressive representation of logical statements.

 Ancestors (6)

  1. Model theory
  2. Mathematical modeling
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (1)

First-order logic by Ciro Santilli 37  Updated 2025-06-17  +Created 1970-01-01
 View more
Builds on top of propositional logic, adding notably existential quantification.
 Read the full article
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook