TERMIUM Plus®

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

DISPROVING [1 record]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 1989-12-12

English

Subject field(s)
  • Artificial Intelligence
DEF

Proof by contradiction.

CONT

The refutation theorem ensures that, if we assume the negation of a sentence and derive a contradiction, there is a direct proof of the original sentence.

DEF

disproving: an attempt to prove the impossibility of a hypothesized conclusion (theorem) or goal.

French

Domaine(s)
  • Intelligence artificielle
DEF

Preuve de fausseté.

DEF

Tentative de prouver l'impossibilité d'un but ou d'une conclusion hypothétique. Aussi, preuve de fausseté.

CONT

Complétude pour la réfutation : le groupe de règles d'inférence réduit à la seule règle "principe de résolution" est dit complet pour la réfutation.

CONT

complétude pour la réfutation

Spanish

Save record 1

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: