TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 DEF

A general automatic method for determining if a hypothesized - conclusion (theorem) follows from a given set of premises (axioms).  3, fiche 1, Anglais, - automatic%20theorem%20proving

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

PROLOG et la logique formelle, (...) Il s’agit d’une méthode de démonstration automatique de théorèmes, bâtie autour d’une seule règle d’inférence, ce qui va permettre d’automatiser les mécanismes de raisonnement.  4, fiche 1, Français, - d%C3%A9monstration%20automatique%20de%20th%C3%A9or%C3%A8mes

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, 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, fiche 2, Anglais, - theorem%20proving

Record number: 2, Textual support number: 2 DEF

a task of artificial intelligence.  3, fiche 2, Anglais, - theorem%20proving

Record number: 2, Textual support number: 3 DEF

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

Fiche 2,  Justifications,  Français

Record number: 2, 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, fiche 2, Français, - d%C3%A9monstration%20de%20th%C3%A9or%C3%A8mes

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved to be true.  1, fiche 3, Anglais, - inductive%20assertion%20method

Record number: 3, Textual support number: 1 OBS

inductive assertion: term and definition standardized by the Institute of Electrical and Electronics Engineers (IEEE).  2, fiche 3, Anglais, - inductive%20assertion%20method

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Technique de la preuve d’exactitude dans laquelle les assertions écrite décrivent les entrées, les sorties et les conditions intermédiaires d’un programme; un ensemble de théorèmes est élaboré, qui établit un rapport entre la satisfaction des assertions d’entrée et la satisfaction des assertions de sortie, et la validité des théorèmes est démontrée.  1, fiche 3, Français, - m%C3%A9thode%20d%26rsquo%3Bassertion%20inductive

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, 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, fiche 4, Anglais, - indirect%20proof

Fiche 4,  Justifications,  Français

Record number: 4, 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, fiche 4, Français, - preuve%20indirecte

Fiche 4,  Justifications,  Espagnol