@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-H95KN8C6-Z
  skos:prefLabel "first-order predicate calculus"@en, "calcul des prédicats"@fr ;
  skos:altLabel "quantificational logic"@en, "logique du premier ordre"@fr, "calcul des prédicats du premier ordre"@fr, "calcul des relations"@fr, "logique quantificationnelle"@fr, "predicate logic"@en, "first-order logic"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats>, <https://en.wikipedia.org/wiki/First-order_logic> ;
  dc:modified "2023-09-22"^^xsd:date ;
  skos:inScheme psr: ;
  skos:broader psr:-NRJSM1FG-4 ;
  skos:definition """En logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties :
<br/>- la syntaxe définit le vocabulaire symbolique de base ainsi que les règles permettant de construire des énoncés complexes,
<br/>- la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats">https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats</a>)"""@fr, """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. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/First-order_logic">https://en.wikipedia.org/wiki/First-order_logic</a>)"""@en ;
  a skos:Concept .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-H95KN8C6-Z .