L’implication est un terme ayant plusieurs utilisations, selon les définitions indiquées dans le dictionnaire de l’ Académie royale d’Espagne (RAE) . Prendre une décision juste peut être la conséquence ou la conséquence de quelque chose, une contradiction entre des termes ou une incompatibilité morale ou juridique .

Comme dans beaucoup d’autres termes de notre langue, le mot implication est accepté principalement dans certains pays d’Amérique du Sud, tels que l’Argentine, l’Uruguay et le Chili, tandis qu’en Espagne , on utilise l’ implication, qui dérive directement d’un mot latin. Bien que leurs significations soient équivalentes, elles présentent certaines différences, telles que les sens uruguayen et chilien qui font référence à une incompatibilité juridique ou morale, indiquée dans le premier paragraphe.

Sachant que implication et implication sont des termes synonymes, il est possible de parler de leur rôle en logique . Le calcul logique, également appelé dérivation logique, est un système ou un algorithme qui permet de déduire ou de déduire une déclaration vraie, basée sur un ou plusieurs validés comme vrais; Deux des manières dont il permet de relier et de relier des propositions sont la vérité fonctionnelle conditionnelle et l’ implication .

Il est possible de lire l’opération logique suivante A -> B de deux manières, selon qu’il s’agit d’une vraie condition conditionnelle fonctionnelle ou d’une implication: dans le premier cas, sa lecture serait A, puis B, ce qui peut être illustré par la proposition "Si nous sommes en 2014, le prochain sera 2015" ; l'autre lecture possible est A implique B, dans laquelle deux propositions sont liées, chacune avec une valeur différente, et un exemple possible est "Nous sommes en 2014", donc "la prochaine sera 2015" .

En approfondissant davantage les différences, la lecture conditionnelle a pour résultat que la proposition a l' une des deux valeurs possibles, qui sont vraies et fausses; Dans son tableau des valeurs de vérité (utilisé pour montrer les valeurs de vérité des propositions composées, en considérant toutes les combinaisons possibles de vérité), on peut voir que cette affirmation ne peut être fausse que si A est vrai et B, faux. En revanche, pour l'affirmation, l'affirmation de B dépend de la validité de l'affirmation de A: si nous mentons en disant que "nous sommes en 2014", toute proposition la concernant perd sa validité.