Dicionário de Termos Linguísticos

Um dos dois quantificadores da lógica de predicados cujo símbolo é ∃ e que corresponde a ocorrências de "algum" no sentido de "pelo menos um, possivelmente mais". Escrever-se (∃x) indica que a quantificação diz respeito à variável na expressão que se segue, como por exemplo, (∃x) H(x). Uma variável x é ligada se ocorre no escopo de (∃x) ou (∀x) e é livre no caso contrário. Qualquer ocorrência de uma variável é ligada por um quantificador e neste caso temos uma proposição. Se a expressão contiver pelo menos uma variável então temos uma expressão aberta ou função proposicional.