Dentro da lógica proposicional, temos as proposições, que são afirmações lógicas que cabem valores de V ou F e os conectivos, que fazem a conexão entre uma ou mais proposição tornando-as proposições compostas. Mas nem todas as frases podem ser escritas com os conectivos: ¬, ∧, ∨, →, ↔, . . . E, portanto, necessitamos dos quantificadores. De maneira análoga ao que acontece com enunciados formados por meio de conectivos, na prática, dependendo de como entendemos o significado de um enunciado quantificado, ele pode ser simbolizado de mais de uma maneira. Seja a frase: "Nem todos são felizes" Pode ser interpretado como: existem infelizes Se admitimos que: ser infeliz, é a negação de ser feliz. Neste caso, de acordo com a legenda: f(x) : x é feliz. O quantificador que melhor representa a função proposicional acima é: