IMPLICATION
- IMPLICATION (lat. "implicatio", "entrelacement"). Relation logique entre deux propositions telle que l'une enveloppe l'autre, autrement dit, telle que la seconde résulte nécessairement de la première; le signe de l'implication en logique moderne est > : a > b.
- IMPLICATION. n. f (voir les deux sens du mot impliquer) Au sens général : ce qui est impliqué par quelque chose, ce que cela entraîne. La notion d'implication suppose une conséquence (non évidente) que l'on va pouvoir déduire. En logique pure, la relation d'implication peut être énoncée sous la forme « S'il est vrai que… alors on a» : s'il est vrai que X entraîne Y et que Y entraîne Z alors (cela implique que) X entraîne Z. Au pluriel, le mot implications équivaut à conséquences.
- Implication
Du latin implicare, « plier dans », « envelopper ». En logique et en mathématique, relation entre deux propositions telles que l’une entraîne nécessairement l’autre.