TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

These situations can be logical contradictions, where a statement and its negation are both believed.  1, fiche 1, Anglais, - logical%20contradiction

Fiche 1,  Justifications,  Français

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

Non-monotonic Boolean policy : Supporting a "NOT gate" as a logical primitive is a great extension for decelerating the policies especially when the user attributes are mutually exclusive. However, the monotonic policies are unable to support this feature. [One] way to overcome this problem is to define a negation for all individual attributes as a primitive attribute, which results in an additional management burden for both users and the authority.  2, fiche 2, Anglais, - primitive%20attribute

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

The boolean operator that gives a truth table value of true only when both of the variables connected by the logical operator are false, i. e., the negation of inclusive OR.  3, fiche 3, Anglais, - NOR

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 DEF

Opérateur booléen élémentaire [...] constitué d'un opérateur OU-inclusif suivi d'une inversion du résultat.  2, fiche 3, Français, - non%2Dou

Fiche 3,  Justifications,  Espagnol

Record number: 3, Textual support number: 1 DEF

Operador de Boole, que da un valor verdadero de tabla de verdad, solamente cuando son falsas las variables conectadas por el operador lógico; por ejemplo, la negación de «O» inclusivo.  3, fiche 3, Espagnol, - operador%20l%C3%B3gico%20NO%2DO

Fiche 4,  Justifications,  Français

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 OBS

Justification proposed by Intergraph : The logical negation operator(!) can be placed in front of any other test expression to negate the result of the evaluation.  1, fiche 5, Anglais, - logical%20negation%20operator

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 OBS

Justification proposed by Intergraph : The logical negation operator can be placed in front of any other test expression to negate the result of the evaluation.  1, fiche 6, Anglais, - test%20expression

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

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

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

Record number: 8, Textual support number: 2 CONT

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

Fiche 8,  Justifications,  Français

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

Fiche 8,  Justifications,  Espagnol