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 "todo(s)","cada". Deve escrever-se (∀x) em que "x" é uma variável, pois uma expressão pode em geral conter mais do que um quantificador e mais do que uma variável. Exemplo: (∀x) (∃y) A (x,y) em que "x" é quantificado universalmente e "y" é quantificado existencialmente.