TERMIUM Plus®
La banque de données terminologiques et linguistiques du gouvernement du Canada.
PREUVE LOGIQUE [8 fiches]
Fiche 1 - données d’organisme interne 2024-10-01
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Fiche 1, La vedette principale, Anglais
- Hoare logic
1, fiche 1, Anglais, Hoare%20logic
correct
Fiche 1, Les abréviations, Anglais
Fiche 1, Les synonymes, Anglais
- Floyd–Hoare logic 2, fiche 1, Anglais, Floyd%26ndash%3BHoare%20logic
correct
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
Hoare logic ... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. 2, fiche 1, Anglais, - Hoare%20logic
Fiche 1, Français
Fiche 1, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Fiche 1, La vedette principale, Français
- logique de Hoare
1, fiche 1, Français, logique%20de%20Hoare
correct, nom féminin
Fiche 1, Les abréviations, Français
Fiche 1, Les synonymes, Français
- logique de Floyd-Hoare 2, fiche 1, Français, logique%20de%20Floyd%2DHoare
correct, nom féminin
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes. 3, fiche 1, Français, - logique%20de%20Hoare
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme interne 2022-05-04
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Logic (Philosophy)
Fiche 2, La vedette principale, Anglais
- circular reasoning
1, fiche 2, Anglais, circular%20reasoning
correct
Fiche 2, Les abréviations, Anglais
Fiche 2, Les synonymes, Anglais
- circular argument 2, fiche 2, Anglais, circular%20argument
correct
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 CONT
The fallacy of circular argument ... occurs when the premises presume, openly or covertly, the very conclusion that is to be demonstrated ... 2, fiche 2, Anglais, - circular%20reasoning
Fiche 2, Français
Fiche 2, Domaine(s)
- Logique (Philosophie)
Fiche 2, La vedette principale, Français
- raisonnement circulaire
1, fiche 2, Français, raisonnement%20circulaire
correct, nom masculin
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- pétition de principe 2, fiche 2, Français, p%C3%A9tition%20de%20principe
correct, nom féminin
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 CONT
En logique, une pétition de principe est un raisonnement fallacieux, un sophisme, une illusion d’argumentation qui consiste à tenir pour vraie la proposition que l'on veut démontrer, en la présumant vraie dans l'une des prémisses(affirmation énoncée en support à la conclusion). La conclusion est alors donnée sans argument ni preuve. 3, fiche 2, Français, - raisonnement%20circulaire
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme interne 2022-01-31
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Law of Evidence
- Police
Fiche 3, La vedette principale, Anglais
- balance of probabilities standard
1, fiche 3, Anglais, balance%20of%20probabilities%20standard
correct
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 CONT
In determining whether the record contains sufficient evidence to "satisfy" the court that the offender can afford to pay the contemplated fine, the trial judge must be satisfied, on a balance of probabilities, of the offender's ability to pay. ... as a logical matter, the word "satisfied" in this context cannot signify anything less than the balance of probabilities standard. 1, fiche 3, Anglais, - balance%20of%20probabilities%20standard
Fiche 3, Français
Fiche 3, Domaine(s)
- Droit de la preuve
- Police
Fiche 3, La vedette principale, Français
- norme de prépondérance des probabilités
1, fiche 3, Français, norme%20de%20pr%C3%A9pond%C3%A9rance%20des%20probabilit%C3%A9s
correct, nom féminin
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 CONT
Pour conclure que le dossier contient assez d’éléments de preuve pour «convaincre» le tribunal que le délinquant peut se permettre de payer l'amende proposée, le juge du procès doit être convaincu, par une preuve prépondérante, que ce dernier a la capacité de la payer. [...] il est logique de penser que le mot «convaincu» dans ce contexte ne peut désigner rien de moins que la norme de la prépondérance des probabilités. 1, fiche 3, Français, - norme%20de%20pr%C3%A9pond%C3%A9rance%20des%20probabilit%C3%A9s
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme interne 2013-09-06
Fiche 4, Anglais
Fiche 4, Subject field(s)
- PAJLO
- Law of Evidence
Fiche 4, La vedette principale, Anglais
- logical relevancy
1, fiche 4, Anglais, logical%20relevancy
correct
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
- logical relevance 1, fiche 4, Anglais, logical%20relevance
correct
Fiche 4, Justifications, Anglais
Fiche 4, Français
Fiche 4, Domaine(s)
- PAJLO
- Droit de la preuve
Fiche 4, La vedette principale, Français
- pertinence logique
1, fiche 4, Français, pertinence%20logique
correct, nom féminin, normalisé
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 OBS
La pertinence logique décrit la relation que le raisonnement logique, fondé sur le sens commun et l'expérience, établit entre deux faits, l'un à prouver, l'autre probant.(Fortin & Viau, cours de preuve pénale, 1977, p. 12) 1, fiche 4, Français, - pertinence%20logique
Record number: 4, Textual support number: 2 OBS
pertinence logique: 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 4, Français, - pertinence%20logique
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 2007-08-08
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Titles of Federal Government Programs (Canadian)
- Organization Planning
Fiche 5, La vedette principale, Anglais
- Management, Resources and Results Structure Policy
1, fiche 5, Anglais, Management%2C%20Resources%20and%20Results%20Structure%20Policy
correct
Fiche 5, Les abréviations, Anglais
- MRRS Policy 1, fiche 5, Anglais, MRRS%20Policy
correct
Fiche 5, Les synonymes, Anglais
- Planning, Reporting and Accountability Structure 1, fiche 5, Anglais, Planning%2C%20Reporting%20and%20Accountability%20Structure
ancienne désignation, correct
- PRAS 1, fiche 5, Anglais, PRAS
ancienne désignation, correct
- PRAS 1, fiche 5, Anglais, PRAS
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 OBS
The Management, Resources and Results Structure (MRRS) policy replaces the 1996 Planning, Reporting and Accountability Structure (PRAS) policy framework. It takes effect on April 1st, 2005. A Management, Resources and Results Structure provides a common, government-wide approach to the collection, management and public reporting of financial and non-financial information. It is meant to: Identify and define the strategic outcomes linked to a department's mandate and core functions; Provide a logical organization or architecture of the programs and activities being delivered in support of the department's strategic outcomes; Reflect the way a department is managed to achieve results with the resources allocated to it year after year; Illustrate the various decision-making mechanisms and accountabilities that exist within the department to manage programs and activities towards the achievement of results; Link each level and element of the Program Activity Architecture to planned and actual information on resources and results; and Provide a performance measurement strategy to enable departments to adjust program design and spending to better achieve results. In essence, the MRRS is intended to be a useful management tool that provides departments, central agencies and parliamentarians alike the framework needed to support results-based management practices across the federal government, demonstrate value for money, as well as provide key stakeholders with the information necessary to support decision-making. Furthermore, the MRRS, which replaces the Planning, Reporting and Accountability Structure (PRAS) Policy framework, will serve as the basis to report to Parliament through the Estimates and Public Accounts. 1, fiche 5, Anglais, - Management%2C%20Resources%20and%20Results%20Structure%20Policy
Fiche 5, Français
Fiche 5, Domaine(s)
- Titres de programmes fédéraux (Gouvernement canadien)
- Planification d'organisation
Fiche 5, La vedette principale, Français
- Politique sur la structure de gestion, des ressources et des résultats
1, fiche 5, Français, Politique%20sur%20la%20structure%20de%20gestion%2C%20des%20ressources%20et%20des%20r%C3%A9sultats
correct, nom féminin
Fiche 5, Les abréviations, Français
- Politique sur la SGRR 1, fiche 5, Français, Politique%20sur%20la%20SGRR
correct, nom féminin
Fiche 5, Les synonymes, Français
- Structure de planification, de rapport et de responsabilisation 1, fiche 5, Français, Structure%20de%20planification%2C%20de%20rapport%20et%20de%20responsabilisation
ancienne désignation, correct, nom féminin
- SPRR 1, fiche 5, Français, SPRR
ancienne désignation, correct, nom féminin
- SPRR 1, fiche 5, Français, SPRR
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 OBS
La Politique sur la Structure de gestion, des ressources et des résultats(SGRR) remplace les directives de 1996 sur la Structure de planification, de rapport et de responsabilisation(SPRR). Elle entre en vigueur le 1er avril 2005. La Structure de gestion, des ressources et des résultats permet d’uniformiser la collecte, la gestion et la publication de l'information financière et non financière à l'échelle du gouvernement. Elle vise à : cerner et définir les objectifs stratégiques liés au mandat et aux fonctions clés d’un ministère; présenter l'organisation ou l'architecture logique des programmes et activités à l'appui des objectifs stratégiques du ministère; mettre en évidence la façon dont les ministères sont gérés pour obtenir des résultats grâce aux ressources qui leur sont confiées année après année; illustrer les divers mécanismes décisionnels et responsabilités que les ministères ont mis en place pour administrer leurs programmes et activités en vue d’obtenir des résultats; associer chaque niveau et élément de l'Architecture des activités de programmes à planifier aux données réelles sur les ressources et les résultats; et fournir une stratégie de mesure du rendement afin de permettre aux ministères d’ajuster leurs dépenses et la conception de leurs programmes pour obtenir de meilleurs résultats. Essentiellement, la SGRR est censée constituer un outil de gestion utile qui fournit aux ministères, aux organismes centraux et aux parlementaires le cadre nécessaire pour appuyer des pratiques de gestion axées sur les résultats à l'échelle du gouvernement fédéral, faire la preuve de l'optimisation des ressources et transmettre aux principaux intervenants l'information nécessaire à la prise de décisions. En outre, la SGRR, qui remplace la Structure de planification, de rapport et de responsabilisation(SPRR), servira d’assise pour les rapports au Parlement par le biais du Budget des dépenses et des Comptes publics. 1, fiche 5, Français, - Politique%20sur%20la%20structure%20de%20gestion%2C%20des%20ressources%20et%20des%20r%C3%A9sultats
Fiche 5, Terme(s)-clé(s)
- Structure des ressources et des résultats de gestion
Fiche 5, Espagnol
Fiche 5, Justifications, Espagnol
Fiche 6 - données d’organisme interne 2003-01-29
Fiche 6, Anglais
Fiche 6, Subject field(s)
- Types of Constructed Works
- Public Property
Fiche 6, La vedette principale, Anglais
- government building
1, fiche 6, Anglais, government%20building
correct
Fiche 6, Les abréviations, Anglais
Fiche 6, Les synonymes, Anglais
- official government building 2, fiche 6, Anglais, official%20government%20building
correct
- public building 3, fiche 6, Anglais, public%20building
correct
Fiche 6, Justifications, Anglais
Record number: 6, Textual support number: 1 DEF
A relatively important building used for government affairs or giving public access to government services. 4, fiche 6, Anglais, - government%20building
Record number: 6, Textual support number: 1 CONT
PALAZZO: An Italian word used to describe a large building. It may be a mansion or palace, or an official government building like a town hall, court, or embassy. 5, fiche 6, Anglais, - government%20building
Record number: 6, Textual support number: 2 CONT
The 1990 Americans with Disabilities Act does not require strictly residential apartments and single-family homes to be made accessible [to disabled]. But all new construction of public accommodations or commercial projects (such as a government building or a shopping mall) must be accessible. 2, fiche 6, Anglais, - government%20building
Record number: 6, Textual support number: 3 CONT
The Santa Barbara Country Courthouse ... has been called the most beautiful government building in America. 6, fiche 6, Anglais, - government%20building
Record number: 6, Textual support number: 1 OBS
public: provided for, used by, or containing the records of a government agency. 3, fiche 6, Anglais, - government%20building
Fiche 6, Français
Fiche 6, Domaine(s)
- Types de constructions
- Propriétés publiques
Fiche 6, La vedette principale, Français
- édifice gouvernemental
1, fiche 6, Français, %C3%A9difice%20gouvernemental
correct, voir observation, nom masculin
Fiche 6, Les abréviations, Français
Fiche 6, Les synonymes, Français
- édifice du gouvernement 2, fiche 6, Français, %C3%A9difice%20du%20gouvernement
correct, voir observation, nom masculin
- bâtiment de l’État 3, fiche 6, Français, b%C3%A2timent%20de%20l%26rsquo%3B%C3%89tat
correct, voir observation, nom masculin
Fiche 6, Justifications, Français
Record number: 6, Textual support number: 1 DEF
Bâtiment d’une certaine importance abritant les bureaux d’une entité gouvernementale et offrant au public divers services gouvernementaux. 4, fiche 6, Français, - %C3%A9difice%20gouvernemental
Record number: 6, Textual support number: 1 CONT
[...] les manifestants se sont divisés en petits groupes pour former des cordons devant toutes les voies d’accès menant aux entrées de l’édifice gouvernemental qui abrite notamment les bureaux du ministère de l’Éducation. À partir de ce moment, plus un travailleur ni un véhicule n’a pu s’infiltrer à l’intérieur du Complexe G. 5, fiche 6, Français, - %C3%A9difice%20gouvernemental
Record number: 6, Textual support number: 2 CONT
[...] l'ADQ entend faire preuve de cohérence dans la gestion de l'état. Ainsi nous nous assurons que des outils importants, tels les systèmes informatiques, soient harmonisés, qu'aucun édifice neuf ne soit construit si un édifice gouvernemental actuel peut être utilisé et que le découpage administratif régional soit logique entre les différents organismes et ministères. 6, fiche 6, Français, - %C3%A9difice%20gouvernemental
Record number: 6, Textual support number: 3 CONT
Non seulement les édifices du gouvernement sont vieux et désuets mais ils ne sont pas sécuritaires et adaptés pour tous les citoyens. Le chef de l’opposition réclame ainsi la rénovation des édifices gouvernementaux. 7, fiche 6, Français, - %C3%A9difice%20gouvernemental
Record number: 6, Textual support number: 1 OBS
«Bâtiment» est un terme neutre par rapport à «édifice» qui ajoute une certaine idée de prestige; «de l’État» s’applique à l’autorité nationale du pays, alors que «gouvernement(al)» s’applique à l’autorité nationale ou provinciale (ou autre gouvernement de second niveau), sans toutefois désigner le niveau municipal. 4, fiche 6, Français, - %C3%A9difice%20gouvernemental
Fiche 6, Espagnol
Fiche 6, Campo(s) temático(s)
- Tipos de construcciones
- Propiedad pública
Fiche 6, La vedette principale, Espagnol
- edificio gubernamental
1, fiche 6, Espagnol, edificio%20gubernamental
nom masculin
Fiche 6, Les abréviations, Espagnol
Fiche 6, Les synonymes, Espagnol
Fiche 6, Justifications, Espagnol
Fiche 7 - données d’organisme interne 1989-12-06
Fiche 7, Anglais
Fiche 7, Subject field(s)
- Artificial Intelligence
Fiche 7, La vedette principale, Anglais
- abductive
1, fiche 7, Anglais, abductive
correct
Fiche 7, Les abréviations, Anglais
Fiche 7, Les synonymes, Anglais
Fiche 7, Justifications, Anglais
Fiche 7, Français
Fiche 7, Domaine(s)
- Intelligence artificielle
Fiche 7, La vedette principale, Français
- abductif
1, fiche 7, Français, abductif
correct
Fiche 7, Les abréviations, Français
Fiche 7, Les synonymes, Français
Fiche 7, Justifications, Français
Record number: 7, Textual support number: 1 DEF
Qui est inféré par abduction logique ascendante ou descendante et fournit une hypothèse explicative d’un ensemble de faits 1, fiche 7, Français, - abductif
Record number: 7, Textual support number: 1 CONT
raisonnement abductif 1, fiche 7, Français, - abductif
Record number: 7, Textual support number: 1 OBS
Décrit le processus d’ajout d’informations nécessaires à la complétion d’une preuve. L'abduction logique est une inférence à prémisse majeure certaine et à prémisse mineure et conclusion plausibles. De B et de A implique B, on infère A. 1, fiche 7, Français, - abductif
Fiche 7, Espagnol
Fiche 7, Justifications, Espagnol
Fiche 8 - données d’organisme interne 1986-11-28
Fiche 8, Anglais
Fiche 8, Subject field(s)
- Artificial Intelligence
Fiche 8, La vedette principale, Anglais
- logical proof
1, fiche 8, Anglais, logical%20proof
correct
Fiche 8, Les abréviations, Anglais
Fiche 8, Les synonymes, Anglais
Fiche 8, Français
Fiche 8, Domaine(s)
- Intelligence artificielle
Fiche 8, La vedette principale, Français
- preuve logique
1, fiche 8, Français, preuve%20logique
correct, nom féminin
Fiche 8, Les abréviations, Français
Fiche 8, Les synonymes, Français
Fiche 8, Justifications, Français
Fiche 8, Espagnol
Fiche 8, 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 :