Dicionário de Termos Linguísticos

Em lógica de predicados, um quantificador é um operador que, ao prefixar-se a uma função proposicional, a torna uma proposição (ou declaração). Ex: ∀x H(x) que se lê: "qualquer que seja X, X é H(umano)" e que pode ser parafraseado por "todo o indivíduo é humano". Um outro exemplo,em que "m" corresponde a "Maria" e "A" a "amar", ∃y A (m,y) pode ser a tradução de "Há pelo menos um indivíduo que a Maria ama". Baseado na semântica da teoria dos conjuntos da lógica de predicados, há um certo número de equivalências que se podem considerar leis dos quantificadores.