TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

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

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

Record number: 1, Textual support number: 2 CONT

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

Fiche 1,  Justifications,  Français

Record number: 1, 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 1, Français, - principe%20de%20r%C3%A9solution

Fiche 1,  Justifications,  Espagnol