déduction logique
- Domaines
-
- philosophiethéorie de la connaissance
- informatiqueinformatique linguistique
- Dernière mise à jour
Définition :
Conclusion d'une proposition dont on connaît les prémisses et faisant intervenir des opérateurs logiques.
Terme privilégié :
- déduction logique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- logical deduction