@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:-TM37Q643-X
  skos:prefLabel "constante logique"@fr, "logical constant"@en ;
  a skos:Concept ;
  skos:narrower psr:-D5C3Z49W-5 .

psr: a skos:ConceptScheme .
psr:-D5C3Z49W-5
  skos:prefLabel "quantifier"@en, "quantificateur"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Quantification_(logique)>, <https://en.wikipedia.org/wiki/Quantifier_(logic)> ;
  skos:definition """In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀  in the first order formula ∀ x P(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃ x P(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Quantifier_(logic)">https://en.wikipedia.org/wiki/Quantifier_(logic)</a>)"""@en, """En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs).  
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Quantification_(logique)">https://fr.wikipedia.org/wiki/Quantification_(logique)</a>)"""@fr ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:broader psr:-TM37Q643-X ;
  a skos:Concept ;
  skos:inScheme psr: .