TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Adversarial instruments are the logical choice in cases of serious or deliberate criminal conduct, or when resolution of civil or criminal matters on a consent basis is inappropriate.  2, fiche 1, Anglais, - adversarial%20instrument

Record number: 1, Textual support number: 1 OBS

Adversarial instruments include those that involve the Bureau or the Attorney General in contested court or Tribunal proceedings, as well as product seizures under the standards-based acts.  2, fiche 1, Anglais, - adversarial%20instrument

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Les mesures accusatoires demeurent l'instrument logique dans les cas d'infractions criminelles graves ou délibérées, ou lorsque le règlement par consentement d'affaires civiles ou criminelles n'est pas jugé approprié.  2, fiche 1, Français, - mesure%20accusatoire

Record number: 1, Textual support number: 1 OBS

Les mesures accusatoires comprennent les procédures contestées et les procédures devant les tribunaux qui font intervenir le Bureau ou le Procureur général, ainsi que la saisie de produits en vertu des lois fondées sur les normes.  2, fiche 1, Français, - mesure%20accusatoire

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

The inference strategy used in logical systems to determine the truth of an assertion. This complex, but highly effective, method establishes the truth of an assertion by determining that a contradiction is encountered when one attempts to resolve clauses, one of which is a negation of the thesis one seeks to assert.  3, fiche 2, Anglais, - resolution%20method

Record number: 2, Textual support number: 1 CONT

In computation, logical arguments are found to be true or false through the resolution method which is used on propositions...  4, fiche 2, Anglais, - resolution%20method

Record number: 2, Textual support number: 2 CONT

Using the resolution principle, we can prove theorems in a purely mechanical way from our axioms.  5, fiche 2, Anglais, - resolution%20method

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Principe dû au mathématicien français Jacques Herbrand, repris et programmé par Alan Robinson, qui systématise le raisonnement par l'absurde : pour démontrer que le théorème p alors g s'applique, le principe de la résolution cherche à prouver que la proposition "p et non g" est contradictoire.  3, fiche 2, Français, - principe%20de%20r%C3%A9solution

Fiche 2,  Justifications,  Espagnol