Vous avez cherché: quantifiers (Anglais - Espagnol)

quantifiers
cuantificadores

denotes numeric quantifiers.
denotan cuantificadores numéricos.

here are a few examples of using quantifiers
estos son algunos ejemplos que utilizan cuantificadores:

how to use the quantifiers little and few in english.
los cuantificadores "little / few" en inglés y su uso.

now we can see two quantifiers, a universal one and an existential one.
ahora podemos ver dos cuantificadores, uno universal y el otro existencial.

repetition is specified by quantifiers, which can follow any of the following items:
la repetición es especificada por cuantificadores, los cuales pueden ir tras cualquiera de los siguientes elementos:

he made contributions to mathematical logic where herbrand's theorem on the theory of quantifiers appears in his doctoral thesis.
hizo contribuciones a la lógica matemática, donde el teorema de herbrand en la teoría de quantifiers aparece en su tesis doctoral.

the meaning of the various quantifiers is not otherwise changed, just the preferredthe meaning of the various quantifiers is not otherwise changed, just the preferred number of matches.
el significado de los cuantificadores variables no es cambiado en otro modo, justo el númeroel significado de los cuantificadores variables no es cambiado en otro modo, justo el número preferido de casamientos.

=== implication ===there are four rules for implication: two that remove quantifiers from the antecedent and two that remove quantifiers from the consequent.
=== implicación ===hay cuatro reglas para la implicación: dos que remueven los cuantificadores del antecedente y dos que remueven los cuantificadores del consecuente.

==uses==formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.
las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos.

existential quantifier
cuantificador existencial