@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:-S0FG50T8-R
  skos:prefLabel "logical connective"@en, "connecteur logique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-M67153H2-B .

psr:-M67153H2-B
  skos:altLabel "material implication"@en ;
  skos:definition """The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol →  is interpreted as material implication, a formula P → Q  is true unless P  is true and Q  is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Material_conditional">https://en.wikipedia.org/wiki/Material_conditional</a>)"""@en, """En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ».
<br/>L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
<br/>Étant un connecteur, qui produit une proposition à partir de deux autres, et qui est interprété par une opération sur les propositions ou sur les valeurs de vérités, l'implication n'est pas la déduction qui est une relation entre propositions. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Implication_(logique)">https://fr.wikipedia.org/wiki/Implication_(logique)</a>)"""@fr ;
  skos:inScheme psr: ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Material_conditional>, <https://fr.wikipedia.org/wiki/Implication_(logique)> ;
  skos:prefLabel "implication"@fr, "material conditional"@en ;
  skos:broader psr:-S0FG50T8-R ;
  a skos:Concept .