TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
LOGICAL PROPOSITION [4 fiches]
Fiche 1 - données d’organisme interne 2017-08-28
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Legal System
- Federal Laws and Legal Documents
Fiche 1, La vedette principale, Anglais
- rule of law
1, fiche 1, Anglais, rule%20of%20law
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- legal rule 2, fiche 1, Anglais, legal%20rule
correct
- law 3, fiche 1, Anglais, law
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 DEF
A legal principle, of general application, sanctioned by the recognition of authorities, and usually expressed in the form of a maxim or logical proposition. Called a "rule", because in doubtful or unforeseen cases it is a guide or norm for their decision. 4, fiche 1, Anglais, - rule%20of%20law
Record number: 1, Textual support number: 1 OBS
As opposed to the more abstract "rule of law" which subordinates everyone to the law. 5, fiche 1, Anglais, - rule%20of%20law
Fiche 1, Français
Fiche 1, Domaine(s)
- Théorie du droit
- Lois et documents juridiques fédéraux
Fiche 1, La vedette principale, Français
- règle de droit
1, fiche 1, Français, r%C3%A8gle%20de%20droit
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- règle juridique 2, fiche 1, Français, r%C3%A8gle%20juridique
correct, nom féminin
- norme juridique 3, fiche 1, Français, norme%20juridique
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 DEF
Norme juridiquement obligatoire [...], quels que soient sa source [...], son degré de généralité [...], sa portée [...] 3, fiche 1, Français, - r%C3%A8gle%20de%20droit
Fiche 1, Espagnol
Fiche 1, Campo(s) temático(s)
- Régimen jurídico
- Leyes y documentos jurídicos federales
Fiche 1, La vedette principale, Espagnol
- norma jurídica
1, fiche 1, Espagnol, norma%20jur%C3%ADdica
correct, nom féminin
Fiche 1, Les abréviations, Espagnol
Fiche 1, Les synonymes, Espagnol
Fiche 1, Justifications, Espagnol
Record number: 1, Textual support number: 1 DEF
Regla o precepto que integra el Ordenamiento Jurídico, emanada de los órganos competentes del Estado o de una fuerza social (ej. la costumbre) y establecida con carácter general y coercitivo para regular la convivencia social. 2, fiche 1, Espagnol, - norma%20jur%C3%ADdica
Fiche 2 - données d’organisme interne 2013-09-03
Fiche 2, Anglais
Fiche 2, Subject field(s)
- PAJLO
- Law of Evidence
Fiche 2, La vedette principale, Anglais
- inference
1, fiche 2, Anglais, inference
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
A process of reasoning by which a fact or proposition sought to be established is deduced as a logical consequence from other facts, or a state of facts, already proved or admitted.(Black's, p. 700) 1, fiche 2, Anglais, - inference
Fiche 2, Français
Fiche 2, Domaine(s)
- PAJLO
- Droit de la preuve
Fiche 2, La vedette principale, Français
- inférence
1, fiche 2, Français, inf%C3%A9rence
correct, nom féminin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 OBS
inférence : terme normalisé par le Comité de normalisation dans le cadre du Programme national de l'administration de la justice dans les deux langues officielles (PAJLO). 2, fiche 2, Français, - inf%C3%A9rence
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2002-09-05
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
- Mathematics
- Logic (Philosophy)
Fiche 3, La vedette principale, Anglais
- predicate
1, fiche 3, Anglais, predicate
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
A logical proposition or assertion concerning the state of a program at a given point, having either a true or false value. Concerning program correctness, all such assertions must be axioms or be proved true. 2, fiche 3, Anglais, - predicate
Record number: 3, Textual support number: 1 OBS
A basic building bloc of predicate logic. 2, fiche 3, Anglais, - predicate
Fiche 3, Français
Fiche 3, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
- Mathématiques
- Logique (Philosophie)
Fiche 3, La vedette principale, Français
- prédicat
1, fiche 3, Français, pr%C3%A9dicat
correct, nom masculin
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
Partie d'une expression logique qui affirme une relation ou un état à propos d'une autre partie (terme) de la même expression. 2, fiche 3, Français, - pr%C3%A9dicat
Record number: 3, Textual support number: 1 OBS
En logique classique l'affirmation (assertion) est du type "il est vrai" ou "il est faux". En logique non classique, elle prend des formes telles "il est possible", "il a été vrai", "croit que", ou "sait que". 2, fiche 3, Français, - pr%C3%A9dicat
Fiche 3, Espagnol
Fiche 3, Campo(s) temático(s)
- Inteligencia artificial
- Programas y programación (Informática)
- Matemáticas
- Lógica (Filosofía)
Fiche 3, La vedette principale, Espagnol
- predicado
1, fiche 3, Espagnol, predicado
correct, nom masculin
Fiche 3, Les abréviations, Espagnol
Fiche 3, Les synonymes, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 1986-01-16
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Artificial Intelligence
Fiche 4, La vedette principale, Anglais
- first order predicate logic
1, fiche 4, Anglais, first%20order%20predicate%20logic
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
A popular form of logic used by the AI Community for representing knowledge and performing logical inference. First Order Predicate Logic permits assertions to be made about variables in a proposition. 1, fiche 4, Anglais, - first%20order%20predicate%20logic
Fiche 4, Français
Fiche 4, Domaine(s)
- Intelligence artificielle
Fiche 4, La vedette principale, Français
- logique des prédicats du premier ordre
1, fiche 4, Français, logique%20des%20pr%C3%A9dicats%20du%20premier%20ordre
correct, nom féminin
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
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 :