TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

DEDUCTIVE INFERENCE [2 records]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 - external organization data 2014-09-03

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.03.02 (2382)
ISO/IEC standard entry number
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].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.03.02 (2382)
ISO/IEC standard entry number
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].

Spanish

Save record 1

Record 2 2011-09-23

English

Subject field(s)
  • Artificial Intelligence
DEF

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

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.

CONT

The traditional problem of deduction has been to establish the validity of a given formula in some theory.

OBS

deductive inference; deduction: terms and definition standardized by ISO/IEC [International Electrotechnical Commission].

French

Domaine(s)
  • Intelligence artificielle
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.

OBS

En logique classique, la déduction infère du vrai au vrai, et l'induction du vrai au vraisemblable.

OBS

inférence déductive; déduction : termes normalisés par ISO/CEI [Commission électrotechnique internationale].

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Display options

Change the order of display of the official languages of Canada
Option to display the non-official languages (Spanish or Portuguese)
Display definitions, contexts, etc., on records

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

Writing tools

The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.

Glossaries and vocabularies

Access Translation Bureau glossaries and vocabularies.

Date Modified: