implication
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
L'un des connecteurs de la logique. Relation logique consistant en ce qu'une chose entraîne une autre comme conséquence.
Note :
Sa table de vérité pose des problèmes sémantiques lorsque l'on quitte le langage formel pour des phrases. Par abus de langage on dit parfois qu'une proposition en implique une autre si l'on peut déduire la seconde en prenant la première pour hypothèse. Certains logiciens ont construit des logiques modales où l'on distingue l'implication classique de l'implication stricte. En fait, on retrouve des propositions « paradoxales » à un niveau de complexité plus élevé.
Terme privilégié :
- implication n. f.
-
Du latin implicatio, « enchaînement ».
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- implication