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 existencial

Classificação:Semântica
Equivalentes:
Inglês:existential quantifier
Francês:quantificateur existentiel
Termos Relacionados:determinante
quantificador

Definição:

Um dos dois quantificadores da lgica de predicados cujo smbolo ∃ e que corresponde a ocorrncias de "algum" no sentido de "pelo menos um, possivelmente mais". Escrever-se (∃x) indica que a quantificao diz respeito varivel na expresso que se segue, como por exemplo, (∃x) H(x). Uma varivel x ligada se ocorre no escopo de (∃x) ou (∀x) e livre no caso contrrio. Qualquer ocorrncia de uma varivel ligada por um quantificador e neste caso temos uma proposio. Se a expresso contiver pelo menos uma varivel ento temos uma expresso aberta ou funo proposicional.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC