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

psr:-VQ98Q2SX-F
  skos:prefLabel "tautologie"@fr, "tautology"@en ;
  a skos:Concept ;
  skos:broader psr:-B4F577F5-H .

psr:-T3SFWRB1-V
  skos:prefLabel "transposition"@en, "transposition"@fr ;
  a skos:Concept ;
  skos:broader psr:-B4F577F5-H .

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

psr:-B4F577F5-H
  skos:exactMatch <https://en.wikipedia.org/wiki/Propositional_calculus>, <https://fr.wikipedia.org/wiki/Calcul_des_propositions> ;
  skos:broader psr:-NRJSM1FG-4 ;
  a skos:Concept ;
  skos:altLabel "sentential calculus"@en, "sentential logic"@en, "logique des propositions"@fr, "calcul propositionnel"@fr, "statement logic"@en ;
  skos:definition """Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts. Il est considéré comme la forme moderne de la logique stoïcienne. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Calcul_des_propositions">https://fr.wikipedia.org/wiki/Calcul_des_propositions</a>)"""@fr, """Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Propositional_calculus">https://en.wikipedia.org/wiki/Propositional_calculus</a>)"""@en ;
  skos:narrower psr:-T3SFWRB1-V, psr:-VQ98Q2SX-F ;
  skos:inScheme psr: ;
  skos:prefLabel "calcul des propositions"@fr, "propositional calculus"@en .