Os quantificadores, universal e existencial, são operadores lógicos que restringem as funções proposicionais, de forma que
estas funções se refiram a todo o conjunto ou a uma parte
dele. Considere A = {1, 2, 3, 4, 5} e dado x ∈ A. Assinale, a seguir,
a função proposicional quantificada que tem seu valor lógico
falso.