Em Lógica e em Matemática, usam-se símbolos próprios chamados quantificadores. Existem fundamentalmente dois tipos de quantificadores: universal e existencial. O símbolo que repres

Gabarito

B

Comentário do professor

Quantificador universal é representado por \(∀\).

Seu papel é declarar que uma propriedade vale para todos os elementos de um domínio. Lê‑se "para todo" ou "para qualquer" elemento.

Formalmente, \(∀x\,P(x)\) significa que, para cada \(x\) no domínio considerado, a propriedade \(P(x)\) é verdadeira. É essencial explicitar o domínio quando necessário, por exemplo: \(∀n\in\mathbb{N},\; n+0=n\).

O quantificador vincula a variável que aparece imediatamente à sua direita, integrando definições, teoremas e provas em lógica e matemática. Ao interpretar uma sentença com \(∀\), verifique sempre o domínio e a variável ligada.