English translation for "quantificateur"

n. quantifier

Example Sentences:

	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.	Induction for formulas all of whose quantifiers are bounded (but which may contain free variables). On appelle énoncé une formule dont toutes les variables sont liées par un quantificateur (donc qui n'a pas de variable libre).
	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 "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.
	10.	Mac Lane set theory, introduced by Mac Lane (1986), is Zermelo set theory with the axiom of separation restricted to first-order formulas in which every quantifier is bounded, Mac Lane set theory is similar in strength to topos theory with a natural number object, or to the system in Principia mathematica. La théorie des ensembles de Mac Lane, présenté par Mac Lane 1986, est la théorie des ensembles de Zermelo avec l'axiome de séparation restreint aux formules de premier ordre, dans lesquelles chaque quantificateur est borné.

Similar Words：

"quantic dream" English translation, "quantico" English translation, "quantico (série télévisée)" English translation, "quantiferon" English translation, "quantifiable" English translation, "quantificateur (grammaire)" English translation, "quantificateur (logique)" English translation, "quantification" English translation, "quantification (physique)" English translation