Tradução de "quantifier" para a língua portuguesa:


  Exemplos (Fontes externas, não revisadas)

These can be assigned values or can be quantified as to when they apply with the universal quantifier (always apply) or the existential quantifier (applies at least once).
A primeira é uma derivação de philia (φιλία) que significa amizade, amor fraterno e respeito entre os iguais a segunda significa sabedoria ou simplesmente saber.
If standard quantifier rules are used, however, every term must refer to something that exists in all the possible worlds.
Todavia, se as regras de quantificação padrão são utilizadas, cada termo deve referir a algo que existe em todos os mundos possíveis.
In A decision method for elementary algebra and geometry , Tarski showed, by the method of quantifier elimination, that the first order theory of the real numbers under addition and multiplication is decidable.
No Método de decisão para álgebra e geometria elementar (1948), Tarski demonstrou, através do método de eliminação dos quantificadores, que a teoria de primeira ordem dos números reais na adição e multiplicação é decidível.