Implication (logique)
connecteur logique entre deux assertions, fréquemment symbolisé par une flèche à droite (le plus souvent double) / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Implication (logique)?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir implication.
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 »[1].
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.
Les logiciens utilisent couramment pour l'implication la flèche simple « → », et encore parfois le symbole « ⊃ » introduit par Peano. La déduction logique ou l'affirmation d'un théorème peuvent être représentées par des symboles au sens proche mais non identique : « ∴ », « ⊢ » et « ⊨ ».