TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, 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 1, Anglais, - derivation%20schema

Fiche 1,  Justifications,  Français

Record number: 1, 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 1, Français, - sch%C3%A9ma%20de%20d%C3%A9rivation

Fiche 1,  Justifications,  Espagnol