skip to main content
LOTERRE

LOTERRE

Mathematics (thesaurus)

Choisissez le vocabulaire dans lequel chercher

Langue des données

| español English
Aide à la recherche

Concept information

mathematical logic > first-order predicate calculus

Terme préférentiel

first-order predicate calculus  

Définition(s)

  • 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", where "there exists" is a quantifier, while x is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic.
    (Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/First-order_logic)

Concept(s) générique(s)

Synonyme(s)

  • first-order logic
  • predicate logic
  • quantificational logic

Traductions

  • calcul des prédicats

    français

  • calcul des prédicats du premier ordre
  • calcul des relations
  • logique du premier ordre
  • logique quantificationnelle

URI

http://data.loterre.fr/ark:/67375/PSR-H95KN8C6-Z

Télécharger ce concept:

RDF/XML TURTLE JSON-LD Dernière modif. 22/09/2023