Je was op zoek naar: quantifiers,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.

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").

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 sentences may contain quantifiers, unlike sentences of propositional logic.
estas sentenças podem conter quantificadores, diferentemente das sentenças da lógica proposicional.

formulas are built out of atomic formulas using logical connectives and quantifiers.
fórmulas são construídas a partir de fórmulas atômicas usando conectivos lógicos e quantificadores.

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

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).

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.

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 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.

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