TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

The formal method of providing a proof in symbolic logic. Each step in the proof will(a) introduce a premise or axiom;(b) provide a statement that is a natural consequence of previously established results using only legitimate rules of inference.  2, record 1, English, - theorem%20proving

Record number: 1, Textual support number: 2 DEF

a task of artificial intelligence.  3, record 1, English, - theorem%20proving

Record number: 1, Textual support number: 3 DEF

A problem-solving approach in which a hypothesized conclusion (theorem) is validated using deductive logic.  4, record 1, English, - theorem%20proving

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

L'algorithme d'unification développé par Robinson a eu un important impact sur la recherche concernant les preuves de théorèmes.  2, record 1, French, - d%C3%A9monstration%20de%20th%C3%A9or%C3%A8mes

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

The continuous-mix method of bread production involves automatic and uninterrupted development of the dough in an enclosed chamber. All steps are continuous, from the weighing and metering of ingredients to the depositing of dough in pans for final proof and baking. There is no need for conventional make-up equipment such as mixers, dividers, and intermediate proofers and molders. Only very limited manpower is needed to operate the equipment.  1, record 2, English, - continuous%2Dmix%20method

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

Système Amflow. [...] ce nouveau procédé continu permet d'automatiser complètement la fabrication de pâte. Il comprend toutes les phases depuis le dosage des ingrédients, la fermentation, le développement de la pâte, le dosage en pâtons et la mise en moules automatique. Cette installation remplace ainsi, avec deux personnes pour la conduire, toute une série de machines traditionnelles (pétrins, diviseuse, armoire de préfermentation, façonneuse, emmouleuse automatique, manutention).  1, record 2, French, - proc%C3%A9d%C3%A9%20continu

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 DEF

[direct labour] The employment of building tradesmen and labourers by the client or his agent (engineer or architect) directly, without the mediation of a contractor.  3, record 3, English, - day%20labor

Record number: 3, Textual support number: 2 DEF

[daywork] A method of payment for building work, involving agreement between the clerk of works and the contractor on the hours of work done by each man, and the materials used. Proof of this agreement is shown by the clerk of works's signature of the contractor's day-sheets. Payment to the contractor consists of his expenses in labour and materials, plus an agreed percentage for overheads and profit. Daywork is cost-plus percentage payment on a small scale.  3, record 3, English, - day%20labor

Record number: 3, Textual support number: 1 CONT

Construction by day labor. With this type of building operation, the owner recruits his own labor force, pays for all labor, materials, subcontractors, rentals and equipment, and all other expenses ... He may, through his architect, hire the services of an engineer. He would recruit the services of a superintendent. He may even hire the complete services of a building contractor.  2, record 3, English, - day%20labor

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

Mode d'exécution de travaux caractérisé par le fait que le maître de l'ouvrage exécute des travaux sous sa propre direction et sa propre responsabilité.  1, record 3, French, - r%C3%A9gie%20de%20travaux

Record number: 3, Textual support number: 1 CONT

Les travaux en régie sont [...] ceux dont l'exécution est dirigée par le client, sous son entière responsabilité, avec des moyens mis à sa disposition par l'entrepreneur. [...] Le processus est [...] sensiblement le même que pour les dépenses contrôlées, à ceci près que [...] le contrôle de certains éléments de la dépense [...] est encore plus aisé pour le maître d'œuvre, [...] les coefficients de majoration sont plus faibles [...] En outre le régime fiscal est différent [...]  2, record 3, French, - r%C3%A9gie%20de%20travaux

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 DEF

A test that consists of the application of a voltage higher than the rated voltage for a specified time for the purpose of determining the adequacy against breakdown of insulating materials and spacings under normal conditions.  2, record 4, English, - high%2Dvoltage%20test

Record number: 4, Textual support number: 1 OBS

The test is used as a proof test of new apparatus, a maintenance test on older equipment, or as one method of evaluating developmental insulation systems.  2, record 4, English, - high%2Dvoltage%20test

Record number: 4, Textual support number: 2 OBS

high-voltage test: term standardized by the International Electrotechnical Commission (IEC).  4, record 4, English, - high%2Dvoltage%20test

Record number: 4, Textual support number: 1 PHR

Low-frequency high-voltage test.  5, record 4, English, - high%2Dvoltage%20test

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Essai consistant à appliquer une haute tension à une isolation en vue de vérifier que sa rigidité diélectrique est suffisante.  3, record 4, French, - essai%20di%C3%A9lectrique

Record number: 4, Textual support number: 1 OBS

essai diélectrique : terme normalisé par la Commission électrotechnique internationale (CEI).  4, record 4, French, - essai%20di%C3%A9lectrique

Record number: 4, Textual support number: 2 OBS

essai diélectrique : terme uniformisé par le CN (Canadien National).  1, record 4, French, - essai%20di%C3%A9lectrique

Record number: 4, Textual support number: 1 PHR

Essai diélectrique à basse fréquence.  5, record 4, French, - essai%20di%C3%A9lectrique

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 CONT

Cement Skin EPS Core Building System :Proof of Concept Testing-Preliminary Structural Evaluation. This research was carried out on a cementitious-skin structural sandwich wall having a core of expanded polystyrene(EPS). As a simple site-built assembly, the method was initially intended for low-cost owner-build applications.  3, record 5, English, - sandwich%2Dwall

Record number: 5, Textual support number: 1 OBS

Not to be confused whith sandwich panel which is non-bearing.  3, record 5, English, - sandwich%2Dwall

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 DEF

Mur en général préfabriqué qui comporte, dans son épaisseur une âme isolante enfermée entre deux parois porteuses.  3, record 5, French, - mur%2Dsandwich

Record number: 5, Textual support number: 1 CONT

Le coffrage isolant Polycrete est composé de deux séries de panneaux symétriques et parallèles en polystyrène expansé de type 3 qui s'emboîtent les uns dans les autres gràce à des profilés de polymère en forme de «T». Cette double paroi est retenue par des tiges d'assemblage métalliques qui s'insèrent dans les profilés. La longueur des tiges détermine l'épaisseur du mur et, par conséquent, celle de la cavité où le béton sera coulé. Ces tiges d'assemblage servent aussi de support à l'acier d'armature. Une fois le béton mis en place, on obtient un mur «sandwich» porteur qui possède une résistance de loin supérieure aux structures conventionnelles.  4, record 5, French, - mur%2Dsandwich

Record number: 5, Textual support number: 1 OBS

Ne pas confondre avec le panneau-sandwich qui est un élément non porteur.  5, record 5, French, - mur%2Dsandwich

Record number: 5, Textual support number: 2 OBS

Pluriel : des sandwichs; des sandwiches.  6, record 5, French, - mur%2Dsandwich

Record number: 5, Textual support number: 3 OBS

sandwichs (pl.) : Cette graphie, puisée des Rectifications de l'orthographe recommandées par le Conseil supérieur de la langue française, est attestée dans le Petit Robert (2006).  7, record 5, French, - mur%2Dsandwich

Record 5,  Textual support,  Spanish

Record 6,  Textual support,  English

Record number: 6, Textual support number: 1 CONT

Diagnosing Magnesium Deficiency.... Probably the best test, although certainly not full proof, is the magnesium loading test.... Perhaps the best method of diagnosing magnesium deficiency, however, is the combination of signs and symptoms of magnesium deficiency, which improve with a therapeutic trial of either oral or injected magnesium.  3, record 6, English, - magnesium%20deficiency

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 CONT

Les meilleures sources de magnésium se trouvent dans les aliments qui sont naturellement énergétiques, ce qui explique que la déficience en magnésium soit fréquente, surtout chez les personnes soucieuses de contrôler leur poids.  1, record 6, French, - d%C3%A9ficience%20en%20magn%C3%A9sium

Record number: 6, Textual support number: 1 OBS

Une diminution de l'excrétion rénale de [la] charge [intraveineuse de magnésium], moins de 80 pour cent sur 24 heures, est suggestive de carence magnésique.  2, record 6, French, - d%C3%A9ficience%20en%20magn%C3%A9sium

Record 6,  Textual support,  Spanish

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 DEF

In small arms ammunition : 1. Method of identifying a particular gauge of shotshells by the colour of the tube. e. g. golden colour of 20 gauge shotshells to prevent their inadvertent and dangerous insertion in 12 gauge shotguns. 2. Method of identifying the type of military cartridges by the colour of the bullet tip : Ball(No marking) ;Tracer(Red) ;Armour-Piercing(Black) ;Armour-Piercing-Incendiary(Silver) ;Incendiary(Blue) ;Observing(Yellow). 3. Method of identifying the type of military cartridges by the colour of the annulus. This practice is now obsolete but is still sometimes encountered on foreign ammunition. 4. Method of identifying a particular type of cartridges by plating the case, e. g. copper plating on a proof cartridge.  2, record 7, English, - ammunition%20color%20code

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 DEF

Pour les munitions d'armes légères : 1. Façon d'identifier un calibre spécifique de cartouches de fusils de chasse par la couleur du tube, e.g. la couleur dorée des cartouches de calibre 20 pour prévenir l'erreur dangereuse de les introduire dans les fusils de calibre 12. 2. Façon d'identifier les types de cartouches militaires d'après la couleur de la pointe de la balle : Balle ordinaire (Aucune marque); Traçante (Rouge); Perforante (Noir); Perforante-incendiaire (Argent); Incendiaire (Bleu); De réglage (Jaune). 3. Façon d'identifier les types de cartouches militaires d'après la couleur de la couronne. Cette pratique est maintenant abandonnée, mais on la rencontre encore parfois sur les munitions étrangères. 4. Façon d'identifier un type particulier de cartouches en plaquant la douille, e.g. le placage cuivre sur une cartouche d'épreuve.  1, record 7, French, - code%20de%20couleurs%20des%20munitions

Record number: 7, Textual support number: 1 OBS

code de couleurs des munitions : terme et définition uniformisés par le Groupe de travail de terminologie des armes légères.  2, record 7, French, - code%20de%20couleurs%20des%20munitions

Record 7,  Textual support,  Spanish

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 CONT

The general principle is that any assumption that leads you to a contradiction must be false. Thus, if you can deduce a contradiction(using valid rules of inference) from a certain assumption, it is legitimate to conclude that the assumption is false. Indirect proof is an extremely useful method, both in logic and in the real world. In real world arguments, if you can start from your opponent's premises and derive a contradiction from them(which is frequently possible), it is a very powerful refutation of the opponent's position. It is because of the usefulness of IP(indirect proof) that I have decided to introduce it right away.  1, record 8, English, - indirect%20proof

Record 8,  Textual support,  French

Record number: 8, Textual support number: 1 CONT

Toute proposition est vraie ou fausse (principe du tiers exclu) et 2° la double négation d'une assertion correspond à sa vérité. La combinaison de ces deux corollaires recèle un mode d'inférence, la méthode de preuve indirecte, qui permet de démontrer des théorèmes d'existence mathématiques sur la simple base de leur non-contradiction.  1, record 8, French, - preuve%20indirecte

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 DEF

A proof method is given whereby the correctness of the representation behaviour of an operation relative to the model behaviour specification can be proved.  1, record 9, English, - proof%20method

Record 9,  Textual support,  French

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 DEF

A method of protective packaging in which the packaged item is secured to a wooden base and then fully enveloped in a water-vapour proof bag.  1, record 10, English, - floating%20bag

Record number: 10, Textual support number: 1 OBS

Standardized by CGSB.  2, record 10, English, - floating%20bag

Record 10,  Textual support,  French

Record number: 10, Textual support number: 1 DEF

Méthode de conditionnement qui assure la protection de l'article fixé à une base en bois, puis entièrement enveloppé dans un sac à l'épreuve de la vapeur d'eau.  1, record 10, French, - sac%20flottant

Record number: 10, Textual support number: 1 OBS

Normalisé par l'ONGC.  2, record 10, French, - sac%20flottant

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 DEF

A method of proof in which the conjecture is negated and a contradiction deduced thus proving the conjecture to be true.  1, record 11, English, - refutation%20proof

Record 11,  Textual support,  French

Record 11,  Textual support,  Spanish

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 CONT

The resolution proof method repeatedly selects pairs of clauses which can be resolved and derives new resolvents by the resolution rule until the empty clause is derived.  1, record 12, English, - resolution%20proof%20method

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 OBS

Voir preuve par résolution, réputation par résolution.  2, record 12, French, - m%C3%A9thode%20de%20preuve%20par%20r%C3%A9solution

Record 12,  Textual support,  Spanish

Record 13,  Textual support,  English

Record number: 13, Textual support number: 1 CONT

Complete enumeration is a reasonable method of proof of a general observation if the number of alternatives to be examined is not too large. For example, the statement "There are four blocks on the table" can easily be verified by counting the blocks.  1, record 13, English, - complete%20enumeration

Record 13,  Textual support,  French

Record number: 13, Textual support number: 1 OBS

énumération : en logique, la définition par énumération consiste à définir un concept par son extension, en énumérant les individus ou les espèces qui en font partie.  2, record 13, French, - %C3%A9num%C3%A9ration%20compl%C3%A8te

Record 13,  Textual support,  Spanish

Record 14,  Textual support,  English

Record number: 14, Textual support number: 1 DEF

... a method by which the oaths of a number of persons as to the character of an accused person in a criminal case, or of a defendant in a civil case, were accepted as proof of his innocence in the one case or as proof in the other case that the claim made against him was not well founded....  1, record 14, English, - compurgation

Record number: 14, Textual support number: 1 OBS

... the persons who made such oaths were known as compurgators.  1, record 14, English, - compurgation

Record 14,  Textual support,  French

Record number: 14, Textual support number: 1 DEF

Témoignage (...) qui a pour effet de disculper.  2, record 14, French, - t%C3%A9moignage%20justificatif

Record number: 14, Textual support number: 1 OBS

Autre source pour "témoignage justificateur" : R. c. Béland, 1987, 2 R.C.S. 398, p. 419.  3, record 14, French, - t%C3%A9moignage%20justificatif

Record 14,  Textual support,  Spanish

Record 15,  Textual support,  English

Record number: 15, Textual support number: 1 OBS

A proof method.  1, record 15, English, - block%20tableau%20method

Record 15,  Textual support,  French

Record 15,  Textual support,  Spanish

Record 16,  Textual support,  English

Record number: 16, Textual support number: 1 DEF

Is a systematic method for showing that a set of assumptions imply a conclusion. There are two kinds : a goad-directed proof procedure and a connection graph proof procedure.  2, record 16, English, - proof%20procedure

Record 16,  Textual support,  French

Record 16,  Textual support,  Spanish