@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:-S0FG50T8-R .

psr: a skos:ConceptScheme .
psr:-S0FG50T8-R
  skos:inScheme psr: ;
  a skos:Concept ;
  skos:definition """In logic, a <b>logical connective</b> (also called a <b>logical operator</b>, <b>sentential connective</b>, or <b>sentential operator</b>) is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective <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 \\\\lor }">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mo>∨<!-- ∨ --></mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\lor }</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/ab47f6b1f589aedcf14638df1d63049d233d851a" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.55ex; height:2.009ex;" alt="{\\\\displaystyle \\\\lor }"></span> can be used to join the two atomic formulas <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 P}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>P</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle P}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\\\\displaystyle P}"></span> and <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 Q}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>Q</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle Q}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8752c7023b4b3286800fe3238271bbca681219ed" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.838ex; height:2.509ex;" alt="{\\\\displaystyle Q}"></span>, rendering the complex formula <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 P\\\\lor Q}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>P</mi>         <mo>∨<!-- ∨ --></mo>         <mi>Q</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle P\\\\lor Q}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/7d2bc60d4b9ff5ec772fec5c2ef72a39536d4323" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:6.166ex; height:2.509ex;" alt="{\\\\displaystyle P\\\\lor Q}"></span>.  
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Logical_connective">https://en.wikipedia.org/wiki/Logical_connective</a>)"""@en, """En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions.
<br/>Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Connecteur_logique">https://fr.wikipedia.org/wiki/Connecteur_logique</a>)"""@fr ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Logical_connective>, <https://fr.wikipedia.org/wiki/Connecteur_logique> ;
  skos:broader psr:-TM37Q643-X ;
  skos:prefLabel "connecteur logique"@fr, "logical connective"@en ;
  skos:altLabel "logical operator"@en, "sentential operator"@en, "sentential connective"@en ;
  skos:narrower psr:-M67153H2-B ;
  dc:modified "2024-10-18"^^xsd:date .

psr:-M67153H2-B
  skos:prefLabel "material conditional"@en, "implication"@fr ;
  a skos:Concept ;
  skos:broader psr:-S0FG50T8-R .