What is the translation of " QUANTIFIERS " in Portuguese?

• quantificadores

Examples of using Quantifiers in English and their translations into Portuguese

Quantifiers are instantiated.
Quantificadores são instanciados.

Denotes numeric quantifiers.
Denota os quantificadores numéricos.

Existential quantifiers are dealt with by Skolemization.
Quantificadores existenciais, são tratados por Skolemização.

Drop all universal quantifiers.
Remova os quantificadores universais.

All these quantifiers have the whole formula in their scope.
Todos estes quantificadores têm toda a fórmula no seu âmbito.

The following are some examples of quantifiers.
A seguir, estão alguns exemplos de quantificadores.

Quantifiers for different implementations of the same interface.
Sintaxes diferentes para várias implementações da mesma interface;

Here are a few examples of using quantifiers.
Aqui estão alguns exemplos da utilização de quantificadores.

Existential quantifiers are dealt with by means of Skolemization.
Quantificadores existencial são tratados por meio de Skolemização.

Each set of axioms has but four existential quantifiers.
Cada um dos axiomas tem apenas 4 quantificadores existenciais.

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.

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

The rule for existential quantifiers introduces new constant symbols.
A regra para os quantificadores existenciais apresentar um novo símbolo de constante.

The question alternates existential and universal quantifiers.
Essa questão utiliza tanto quantificadores existenciais quanto universais.

Examples of bounded quantifiers in the context of real analysis include"∀x>0","∃y.
Exemplos de quantificadores delimitados no contexto da análise real incluem"∀x> 0","∃y.

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.

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.

These sentences may contain quantifiers, unlike sentences of propositional logic.
Estas sentenças podem conter quantificadores, diferentemente das sentenças da lógica proposicional.

Quantifiers are enclosed in curly brackets({and}) and have the general form{[minimum-occurrences], maximum-occurrences.
Os quantificadores estão delimitados por chavetas({e}) e têm a forma geral{[mínimo- de- ocorrências], máximo- de- ocorrências.

Windows PowerShell supports the quantifiers available in. NET Framework regular expressions.
O Windows PowerShell oferece suporte aos quantificador disponíveis em expressões regulares do. NET Framework.

In applications of the language to recursion theory, such as the arithmetical hierarchy, bounded quantifiers add no complexity.
Em aplicações da linguagem de teoria da recursão, tais como a hierarquia da aritmética, quantificadores delimitados não acrescentam complexidade.

Also see branching quantifiers and the plural quantifiers of George Boolos and others.
Veja também quantificação ramificada e quantificação plural de George Boolos e outros.

In intuitionistic first-order logic both quantifiers∃,∀ are needed.
Na lógica intuicionista de primeira ordem, ambos os quantificadores∃{\displaystyle\,\exists},∀{\displaystyle\,\forall} são necessários.

Basically, nouns and quantifiers are part of the first category, and they are higher in pitch.
Basicamente, os substantivos e os quantificadores fazem parte da primeira categoria, e eles são mais altos.

Tableaux are extended to first order predicate logic by two rules for dealing with universal and existential quantifiers, respectively.
Tableaux são estendidos para a lógica de predicados de primeira ordem por duas regras para lidar com os quantificadores universais e existenciais, respectivamente.

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.

Rank-n polymorphism is polymorphism in which quantifiers may appear to the left of arbitrarily many arrows.
Polimorfismo de posto-n é um polimorfismo no qual os quantificadores podem aparecer na esquerda de várias setas arbitrariamente.

Also, the quantifiers are given their usual objectual readings, so that a positive existential statement has existential import, while a universal one does not.
Além disso, são concebidas leituras habituais aos quantificadores, de modo que uma declaração existencial positiva tem importância existencial, enquanto uma universal não.

To do so, one can use second-order existential quantifiers to arbitrarily choose a computation tableau.
Para fazer isso, pode-se usar de quantificadores existenciais de segunda ordem para escolher arbitrariamente uma tableau de computação.

Quantifiers allows a regular expression to match a specified number or range of numbers of either a character, character class or sub pattern.
Os quantificadores permitem a uma expressão regular fazer a correspondência com um número ou intervalo específico de vezes nas quais ocorre um carácter, classe de caracteres ou sub- padrão.