TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

LOGICAL CONCLUSION [7 fiches]

Fiche 1 2025-02-27

Anglais

Subject field(s)
  • Auditing (Accounting)
  • Government Accounting
CONT

Substantiation is [a] comprehensive summary or references to the documented evidence for an audit report. Substantiation summarizes the material or includes references to the material that supports the factual statements, findings, recommendations, and the conclusion of the audit report, including any logical deductions and judgments.

Français

Domaine(s)
  • Vérification (Comptabilité)
  • Comptabilité publique
CONT

La corroboration est composée d'un résumé exhaustif ou de références aux éléments probants documentés pour un rapport d'audit. Elle consiste notamment à résumer les documents justificatifs ou à inclure des renvois à ces documents qui étayent les énoncés factuels, les constatations, les recommandations et la conclusion du rapport d'audit, y compris toute déduction logique et tout jugement.

Espagnol

Conserver la fiche 1

Fiche 2 2024-09-10

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
DEF

An inference which derives a logical conclusion from a specific set of premises.

OBS

Deduction is the only truth-preserving inference.

OBS

deductive inference; deduction: designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique.

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

inférence déductive; déduction : désignations et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.

Espagnol

Campo(s) temático(s)
  • Lógica (Filosofía)
  • Inteligencia artificial
Conserver la fiche 2

Fiche 3 - données d’organisme externe 2014-09-03

Anglais

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.03.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inference which derives a logical conclusion from a specific set of premises

OBS

Deduction is the only truth-preserving inference.

OBS

deduction; deductive inference: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

Français

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.03.02 (2382)
numéro d'article de norme ISO/CEI
DEF

inférence qui part d'un ensemble de prémisses particulier pour en dériver une conclusion logique

OBS

La déduction est la seule inférence qui maintient la validité des énoncés.

OBS

déduction; inférence déductive : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-28:1995].

Espagnol

Conserver la fiche 3

Fiche 4 2011-09-07

Anglais

Subject field(s)
  • Logic (Philosophy)
  • Artificial Intelligence
DEF

A logical statement that involves three propositions, usually called the major premise, minor premise, and conclusion, the conclusion necessarily being true if the premises are true.

Français

Domaine(s)
  • Logique (Philosophie)
  • Intelligence artificielle
DEF

Opération par laquelle, du rapport de deux termes avec un troisième appelé moyen terme, on conclut à leur rapport mutuel. (ex. Tous les hommes sont mortels - prémisse majeure - or je suis un homme - prémisse mineure - donc je suis mortel - conclusion).

Espagnol

Conserver la fiche 4

Fiche 5 1995-02-21

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.

CONT

Japanese planners want their machines to handle millions of logical inferences per second (LIPS) - one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.

CONT

Each logical inference involves a set of premises, a reason, and a conclusion.... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.

Français

Domaine(s)
  • Intelligence artificielle
CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques, (SI E alors H), que des inférences plausibles.

Espagnol

Conserver la fiche 5

Fiche 6 1989-05-29

Anglais

Subject field(s)
  • Artificial Intelligence
  • Software
CONT

A Bayesian link between premises and conclusions is defined by the weight with which the truth of premises supports the truth of conclusions. The difference between a logical link and a Bayesian link is that the former changes the degree of the conclusion to a specific value, while the latter changes the degree of the conclusion proportionately according to the weight of the link and the certainty of the user's facts.

Français

Domaine(s)
  • Intelligence artificielle
  • Logiciels
OBS

Voir système bayesien, reconnaisseur bayesienne, etc.

Espagnol

Conserver la fiche 6

Fiche 7 1983-03-10

Anglais

Subject field(s)
  • Proverbs and Maxims
OBS

To carry on the war to a successful conclusion : mener la guerre jusqu'à une fin victorieuse. To come to the conclusion : en venir à la conclusion. Foregone conclusion : parti pris. The logical conclusion : le terme logique de.

Français

Domaine(s)
  • Proverbes et dictons

Espagnol

Conserver la fiche 7

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2025
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 :