TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Déduction qui est la preuve de la dernière de ses formules, sans l’intervention d’aucune hypothèse.  1, fiche 1, Français, - d%C3%A9duction%20naturelle

Record number: 1, Textual support number: 1 OBS

Le système axiomatique portant le nom «preuve au sens de Gentzen» est aussi appelé «déduction naturelle» parce qu'il met en œuvre un type de raisonnement proche du raisonnement humain, ou naturel.  1, fiche 1, Français, - d%C3%A9duction%20naturelle

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

In classical logics, a method of natural deduction having the form H - G, in which the goal G can be "deduced" from the hypothesis H. Collections of organized rules allow the manipulation of the elements making up H and G with a view to obtaining instantiations of the schemas based on particular ways of matching data structures.  1, fiche 2, Anglais, - derivation%20schema

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

En logique classique, déduction naturelle du type :"si prémisse, alors conclusion" dont la conclusion peut être déduite de la prémisse. Une suite ordonnée de règles permet de manipuler les composants de la prémisse et ceux de la conclusion en vue d’arriver à des schémas instanciés par l'appariement des structures.  2, fiche 2, Français, - sch%C3%A9ma%20de%20d%C3%A9rivation

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Méthode de déduction naturelle à partir d’une ou plusieurs hypothèses au moyens de règles d’instanciation et d’appariement de structures.  1, fiche 3, Français, - d%C3%A9rivation

Record number: 3, Textual support number: 1 CONT

arbre de dérivation  1, fiche 3, Français, - d%C3%A9rivation

Record number: 3, Textual support number: 1 OBS

A la différence de la déduction qui est la preuve de la dernière de ses formules, la conclusion d’une dérivation reste généralement affectée de quelque hypothèse.  1, fiche 3, Français, - d%C3%A9rivation

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Système de représentation des connaissances qui opère en logique modale, où le choix des connecteurs est fait par déduction naturelle(de Gentzen) et la dérivation naturelle dans le métalangage par la règle du filtrage axiomatique.  1, fiche 4, Français, - syst%C3%A8me%20ARCHES

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

Is a formal inference system which is said naturally to mirror the way in which humans reason.  2, fiche 5, Anglais, - natural%20deduction

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

It represents proofs in a way that maintains a distinction between goals and antecedents, and it uses inference rules that mimic the reasoning of human theorem proving.  2, fiche 6, Anglais, - natural%20deduction%20system

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 CONT

Le Snark [...] conçu par Jean-Louis Laurière à l'institut de programmation de Paris VI n’ utilise pas la résolution(comme Prolog) mais la déduction naturelle.  1, fiche 7, Français, - Snark

Fiche 7,  Justifications,  Espagnol