TERMIUM Plus®

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

MODUS TOLLENS [1 record]

Record 1 2024-05-09

English

Subject field(s)
  • Artificial Intelligence
DEF

A rule of logic that states: when B is known to be false, and if there is a rule "if A, then B", then it is valid to conclude that A is false.

CONT

This rule, which has the latin name modus tollens ... cannot be reached by most expert systems.

French

Domaine(s)
  • Intelligence artificielle
DEF

OtOtRègle d'inférence de la forme: si A alors B; or B n'est pas vrai; donc A ne l'est pas non plus.

OBS

Signifie en latin "mode qui supprime". Il existe aussi un mode qui supprime en posant" (modus ponendo-tollens) du type: ou A est vrai, ou B est vrai mais pas les deux; or A est vrai; donc B n'est pas vrai.

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

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: