Implication
De Ideopedia
En logique linguistique, on parle d'implication lorsque dans deux propositions admises comme vraies, on en déduit une troisième par logique.
Soit les deux propositions admises comme vraies : "Tous les hommes sont mortels". et "Socrate est un homme."
On en déduit que "Socrate est mortel." Cette proposition est impliquée dans les deux propositions admises ci-dessous.
Source
- Dictionnaire de linguistique, Larousse, 2002, ISBN 2-03-532047-X
