Je was op zoek naar: quantifiers (Engels - Portugees)

quantifiers
quantificação

denotes numeric quantifiers.
denota os quantificadores numéricos.

here are a few examples of using quantifiers
aqui estão alguns exemplos da utilização de quantificadores

next is the proof of a simple fact involving quantifiers.
a seguir está a prova de um simples fato envolvendo quantificadores.

thus there are many kinds of quantifiers, two for each sort of variables.
existem assim os tipos de quantificadores, dois para cada tipo de variável.

these quantifiers have been generalized beginning with the work of mostowski and lindström.
estes quantificadores foram generalizados através do trabalho de mostowski e lindström.

* it must have quantifiers such as the symbol for the existence of an object.
* deve ter quantificadores, tais como o símbolo de existência de um objeto.

quantifiers correspond to dependent function space or products (as appropriate).
quantificadores correspondem ao espaço de funções dependentes ou produtos (o que for mais apropriado).

# starting from above downwards, remove the inferences that introduce existential quantifiers.
# partindo de cima para baixo, remova as inferências que introduzem quantificadores existenciais.

the initial qbf was fully quantified, so there are at least as many quantifiers as variables.
o qbf inicial foi totalmente quantificado, por isso há tanto quantificadores quanto variáveis.

all other well-formed formulae are obtained by composing atoms with logical connectives and quantifiers.
todas as outras fórmulas bem-formadas são obtidas pela composição de átomos com conectivos lógicos e quantificadores.

in propositional logic, there are no quantifiers, and formulas are built from propositional variables using logical connectives.
na lógica proposicional, não existem quantificadores e fórmulas são construídas a partir de variáveis proposicionais usando conectivos lógicos.

in the standard or full semantics, quantifiers over higher-type objects range over "all" possible objects of that type.
na semântica padrão ou completa, quantificados e objetos do tipo superior variam sobre todos os objetos possíveis tipo.

two common quantifiers are the existential ∃ ("there exists") and universal ∀ ("for all") quantifiers.
dois quantificadores comuns são: os quantificadores existencial ∃ ("existe um") e universal ∀ ("para todo").

löwenheim's paper was actually concerned with the more general peirce–schröder calculus of relatives (relation algebra with quantifiers).
o artigo de löwenheim estava na verdade preocupado com o cálculo relacional de peirce-schröder (álgebra relacional com quantificadores).

quantifier
quantificação