TERMIUM Plus®

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

MODUS PONENDO PONENS [1 fiche]

Filtrer les résultats par domaine Liste alphabétique des termes

Filtrer les résultats par domaine

Liste alphabétique des termes

Fiche 1 1995-02-23

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A basic rule of logic that asserts that if we know that A implies B and we know for a fact that A is the case, we can assume B.

DEF

If A is true, then B is true. A is true therefore B is true.

CONT

Logically speaking, the two rules of inference most used in problem solving are modus ponens ("If A implies B and you know A, then infer B") and modus tollens ("If A implies B and you know not-B, then infer not-A")...

Français

Domaine(s)
  • Intelligence artificielle
DEF

Règle qui veut que si P alors Q, et que si P est vrai, alors Q est vrai.

CONT

SI Durand est informaticien ALORS Durand est mort : Durand est informaticien PAR CONSÉQUENT Durand est mort. La formule simple, utilisée dans les deux exemples ci-dessus est l'une des plus fondamentales en logique; on lui a donné le nom latin de modus ponendo ponens (abrégé généralement en modus ponens).

OBS

En logique, appelée "règle de détachement". Signifie en latin "mode qui pose". Il existe aussi un "mode qui pose en supprimant" (modus tollendoponens) du type : ou A est vrai, ou B est vrai; or A n'est pas vrai; donc B est vrai.

Espagnol

Conserver la fiche 1

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

Options d’affichage

Changer l'ordre d'affichage des langues officielles du Canada
Affichage des langues non officielles (l'espagnol ou le portugais)
Affichage des définitions, contextes, etc. dans les fiches

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 :