@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr:-D5C3Z49W-5
  skos:prefLabel "quantificateur"@fr, "quantifier"@en ;
  a skos:Concept ;
  skos:broader psr:-TM37Q643-X .

psr:-S0FG50T8-R
  skos:prefLabel "logical connective"@en, "connecteur logique"@fr ;
  a skos:Concept ;
  skos:broader psr:-TM37Q643-X .

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

psr:-TM37Q643-X
  skos:narrower psr:-S0FG50T8-R, psr:-D5C3Z49W-5 ;
  skos:definition """In logic, a logical constant or constant symbol of a language <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle {\\\\mathcal {L}}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mrow class="MJX-TeXAtom-ORD">
         <mi class="MJX-tex-caligraphic" mathvariant="script">L</mi>
         </mrow>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {L}}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9027196ecb178d598958555ea01c43157d83597c" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.604ex; height:2.176ex;" alt="{\\\\mathcal {L}}"></span> is a symbol that has the same semantic value under every interpretation of <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle {\\\\mathcal {L}}}">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mrow class="MJX-TeXAtom-ORD">
         <mrow class="MJX-TeXAtom-ORD">
         <mi class="MJX-tex-caligraphic" mathvariant="script">L</mi>
         </mrow>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle {\\\\mathcal {L}}}</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/9027196ecb178d598958555ea01c43157d83597c" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.604ex; height:2.176ex;" alt="{\\\\mathcal {L}}"></span>. Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Logical_constant">https://en.wikipedia.org/wiki/Logical_constant</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-NRJSM1FG-4 ;
  skos:prefLabel "constante logique"@fr, "logical constant"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Logical_constant> .