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

psr: a skos:ConceptScheme .
psr:-LMSQ46KP-M
  skos:prefLabel "lois de De Morgan"@fr, "De Morgan's laws"@en ;
  skos:definition """In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/De_Morgan%27s_laws">https://en.wikipedia.org/wiki/De_Morgan%27s_laws</a>)"""@en, """Les lois de De Morgan sont des identités entre propositions logiques. Elles ont été formulées par le mathématicien britannique Augustus De Morgan (1806-1871). 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Lois_de_De_Morgan">https://fr.wikipedia.org/wiki/Lois_de_De_Morgan</a>)"""@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Lois_de_De_Morgan>, <https://en.wikipedia.org/wiki/De_Morgan%27s_laws> ;
  skos:inScheme psr: ;
  a skos:Concept ;
  skos:altLabel "De Morgan's theorem"@en ;
  skos:broader psr:-NRJSM1FG-4 .

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