Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

Dicionário de Termos Linguísticos

voltar ao índice

quantificador universal

Classificação:Semântica
Equivalentes:
Inglês:universal quantifier
Francês:quantificateur universal
Termos Relacionados:determinante
quantificador
quantificador existencial
quantificador generalizado

Definição:

Um dos dois quantificadores da lgica de predicados cujo smbolo ∀ e que corresponde a ocorrncias de "todo(s)","cada". Deve escrever-se (∀x) em que "x" uma varivel, pois uma expresso pode em geral conter mais do que um quantificador e mais do que uma varivel. Exemplo: (∀x) (∃y) A (x,y) em que "x" quantificado universalmente e "y" quantificado existencialmente.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC