Eersteordeformule

Eersteordeformule refers to a first-order formula in predicate logic. A first-order formula is a well-formed expression that can contain variables, constants, function symbols, predicate symbols, logical connectives (like AND, OR, NOT), and quantifiers (universal quantifier "for all" and existential quantifier "there exists"). These formulas are used to express statements about objects and their properties and relationships within a given domain. The key characteristic of first-order logic is that quantifiers range over individual objects, not over properties or sets of objects, which distinguishes it from higher-order logics.

In first-order logic, a formula is built up from atomic formulas, which are typically statements of the form P(t1, t2, ..., tn), where P is an n-place predicate symbol and t1, t2, ..., tn are terms. Terms themselves are constructed from variables and function symbols applied to other terms. For example, "x + y = z" could be represented as an atomic formula if '+' and '=' are predicate symbols or function symbols depending on the formalization. The structure of a first-order formula allows for expressing complex logical relationships and is the foundation for many areas of mathematics, computer science, and philosophy.