| 1. | Moreover, there is but one existential quantifier, in axiom 3.
De plus, il n'y a qu'un quantificateur existentiel, dans l'axiome 3. |
| 2. | He is the inventor of garbage collection by reference counting and of the method of quantifier elimination by cylindrical algebraic decomposition.
Il est l'inventeur du ramasse-miettes par comptage de références, et de la méthode de décomposition cylindrique algébrique,, en calcul formel. |
| 3. | It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.
Elle est généralement considérée comme une règle de quantification pour le quantificateur universel, mais elle peut également être énoncée en tant qu'axiome. |
| 4. | The best TL can do is to incorporate the second quantifier from each sentence into the second term, thus rendering the artificial-sounding terms 'feared-by-every-mouse' and 'afraid-of-at-least-one-cat'.
La meilleur chose que peut faire la logique traditionnelle peut être le fait d'incorporer le deuxième quantificateur de chaque phrase dans le deuxième terme, ce qui rend les termes « font-peur-à-toutes-les-souris » et « peur-d'au-moins-un-chat ». |
| 5. | The indefinite article 'a' is normally understood as an existential quantifier, but the most natural reading of the donkey sentence requires it to be understood as a nested universal quantifier.
De surcroît, l'article indéfini un (âne) est normalement considéré comme un quantificateur existentiel, mais la lecture la plus naturelle de la « phrase donkey » oblige à le considérer comme un quantificateur universel enchâssé. |
| 6. | The indefinite article 'a' is normally understood as an existential quantifier, but the most natural reading of the donkey sentence requires it to be understood as a nested universal quantifier.
De surcroît, l'article indéfini un (âne) est normalement considéré comme un quantificateur existentiel, mais la lecture la plus naturelle de la « phrase donkey » oblige à le considérer comme un quantificateur universel enchâssé. |
| 7. | The fact that U {\displaystyle U} is an ultrafilter (and not just a filter) is used in the negation clause, and the axiom of choice is needed at the existential quantifier step.
Le fait que U soit un ultrafiltre (et pas seulement un filtre) est utilisé pour traiter le cas des négations, et l'axiome du choix est nécessaire pour celui de l'introduction d'un quantificateur existentiel. |
| 8. | The existential power of the first quantifier in this predicate can be used to guess a correct circuit for SAT, and the universal power of the second quantifier can be used to verify that the circuit is correct.
La puissance existentielle du premier quantificateur peut être utilisée pour deviner un circuit correct pour SAT, et la puissance universelle du second pour vérifier que le circuit est correct. |
| 9. | The existential power of the first quantifier in this predicate can be used to guess a correct circuit for SAT, and the universal power of the second quantifier can be used to verify that the circuit is correct.
La puissance existentielle du premier quantificateur peut être utilisée pour deviner un circuit correct pour SAT, et la puissance universelle du second pour vérifier que le circuit est correct. |
| 10. | The "quantifying in" idiom captures the notion that the variable-binding operator (for example, the existential quantifier 'something') reaches into, so to speak, the non-extensional context to bind the variable occurring within its scope.
Parler de "quantifying in" rend compte de la notion selon laquelle l’opérateur qui lie la variable (par exemple le quantificateur existentiel « quelque chose ») atteint, pour ainsi dire, le contexte non-extensionnel pour lier la variable qui se trouve dans sa portée. |
