Imagem de fundo

Os quantificadores, universal e existencial, são operadores...

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.


A

∀ x (x + 3 < 10)


B

∃ x (x + 3 > 5)


C

∀ x (x + 3 ≤ 7)


D

∃ x (x2 + 2x = 15)


E

∃ x (x2 –7x + 10 = 0)