TERMIUM Plus®

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

PREUVE LOGIQUE [8 fiches]

Fiche 1 2024-10-01

Anglais

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming
CONT

Hoare logic ... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

Français

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.

Espagnol

Conserver la fiche 1

Fiche 2 2022-05-04

Anglais

Subject field(s)
  • Logic (Philosophy)
CONT

The fallacy of circular argument ... occurs when the premises presume, openly or covertly, the very conclusion that is to be demonstrated ...

Français

Domaine(s)
  • Logique (Philosophie)
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.

Espagnol

Conserver la fiche 2

Fiche 3 2022-01-31

Anglais

Subject field(s)
  • Law of Evidence
  • Police
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.

Français

Domaine(s)
  • Droit de la preuve
  • Police
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.

Espagnol

Conserver la fiche 3

Fiche 4 2013-09-06

Anglais

Subject field(s)
  • PAJLO
  • Law of Evidence

Français

Domaine(s)
  • PAJLO
  • Droit de la preuve
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)

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).

Espagnol

Conserver la fiche 4

Fiche 5 2007-08-08

Anglais

Subject field(s)
  • Titles of Federal Government Programs (Canadian)
  • Organization Planning
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.

Français

Domaine(s)
  • Titres de programmes fédéraux (Gouvernement canadien)
  • Planification d'organisation
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.

Terme(s)-clé(s)
  • Structure des ressources et des résultats de gestion

Espagnol

Conserver la fiche 5

Fiche 6 2003-01-29

Anglais

Subject field(s)
  • Types of Constructed Works
  • Public Property
DEF

A relatively important building used for government affairs or giving public access to government services.

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.

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.

CONT

The Santa Barbara Country Courthouse ... has been called the most beautiful government building in America.

OBS

public: provided for, used by, or containing the records of a government agency.

Français

Domaine(s)
  • Types de constructions
  • Propriétés publiques
DEF

Bâtiment d’une certaine importance abritant les bureaux d’une entité gouvernementale et offrant au public divers services gouvernementaux.

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.

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.

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.

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.

Espagnol

Campo(s) temático(s)
  • Tipos de construcciones
  • Propiedad pública
Conserver la fiche 6

Fiche 7 1989-12-06

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle
DEF

Qui est inféré par abduction logique ascendante ou descendante et fournit une hypothèse explicative d’un ensemble de faits

CONT

raisonnement abductif

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.

Espagnol

Conserver la fiche 7

Fiche 8 1986-11-28

Anglais

Subject field(s)
  • Artificial Intelligence

Français

Domaine(s)
  • Intelligence artificielle

Espagnol

Conserver la fiche 8

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 :