TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
INFERENCE DEDUCTIVE [2 fiches]
Fiche 1 - données d’organisme externe 2014-09-03
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 1
Fiche 1, La vedette principale, Anglais
- deduction
1, fiche 1, Anglais, deduction
correct, normalisé
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- deductive inference 1, fiche 1, Anglais, deductive%20inference
correct, normalisé
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
inference which derives a logical conclusion from a specific set of premises 1, fiche 1, Anglais, - deduction
Record number: 1, Textual support number: 1 OBS
Deduction is the only truth-preserving inference. 1, fiche 1, Anglais, - deduction
Record number: 1, Textual support number: 2 OBS
deduction; deductive inference: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995]. 2, fiche 1, Anglais, - deduction
Fiche 1, Français
Fiche 1, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 1
Fiche 1, La vedette principale, Français
- déduction
1, fiche 1, Français, d%C3%A9duction
correct, nom féminin, normalisé
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- inférence déductive 1, fiche 1, Français, inf%C3%A9rence%20d%C3%A9ductive
correct, nom féminin, normalisé
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique 1, fiche 1, Français, - d%C3%A9duction
Record number: 1, Textual support number: 1 OBS
La déduction est la seule inférence qui maintient la validité des énoncés. 1, fiche 1, Français, - d%C3%A9duction
Record number: 1, Textual support number: 2 OBS
déduction; inférence déductive : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-28:1995]. 2, fiche 1, Français, - d%C3%A9duction
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2011-09-23
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Artificial Intelligence
Fiche 2, La vedette principale, Anglais
- deductive inference
1, fiche 2, Anglais, deductive%20inference
correct, normalisé
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- deduction 2, fiche 2, Anglais, deduction
correct, normalisé
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
An inference which derives a logical conclusion from a specific set of premises. 3, fiche 2, Anglais, - deductive%20inference
Record number: 2, Textual support number: 1 CONT
In the earliest attempts to apply AI techniques to automatic programming, deduction (that is, the use of some kind of relatively general purpose theorem prover or problem solver) played a central role. ... In the more recent systems ..., the role of deduction seems less central. 4, fiche 2, Anglais, - deductive%20inference
Record number: 2, Textual support number: 2 CONT
The traditional problem of deduction has been to establish the validity of a given formula in some theory. 4, fiche 2, Anglais, - deductive%20inference
Record number: 2, Textual support number: 1 OBS
deductive inference; deduction: terms and definition standardized by ISO/IEC [International Electrotechnical Commission]. 5, fiche 2, Anglais, - deductive%20inference
Fiche 2, Français
Fiche 2, Domaine(s)
- Intelligence artificielle
Fiche 2, La vedette principale, Français
- inférence déductive
1, fiche 2, Français, inf%C3%A9rence%20d%C3%A9ductive
correct, nom féminin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- déduction 2, fiche 2, Français, d%C3%A9duction
correct, nom féminin, normalisé
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
Séquence de formules logiques telle les axiomes, les théorèmes déjà prouvés, les hypothèses ou les formules dérivés d'autres formules par l'application de règles d'inférence. 3, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive
Record number: 2, Textual support number: 1 OBS
En logique classique, la déduction infère du vrai au vrai, et l'induction du vrai au vraisemblable. 3, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive
Record number: 2, Textual support number: 2 OBS
inférence déductive; déduction : termes normalisés par ISO/CEI [Commission électrotechnique internationale]. 4, fiche 2, Français, - inf%C3%A9rence%20d%C3%A9ductive
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
Portail linguistique du Canada
Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :