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 ...

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.