logique déductive
- Domaines
-
- philosophiethéorie de la connaissance
- intelligence artificielle
- Dernière mise à jour
Définition :
Sous-ensemble de la logique respectant la règle d'inférence stipulant que la véracité des conclusions est toujours conforme à la véracité des hypothèses (axiome de non contradiction).
Note :
Syllogismes logiques et calculs des prédicats sont des logiques déductives.
Terme privilégié :
- logique déductive n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- deductive logic