Concept information
Terme préférentiel
implication
Définition
-
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 ».
L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
É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.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Implication_(logique))
Concept générique
Traductions
-
anglais
-
material implication
URI
http://data.loterre.fr/ark:/67375/PSR-M67153H2-B
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}