A negação da proposição “todo guarda civil metropolitano é eficiente” está corretamente indicada na seguinte opção:

Gabarito

A

Comentário do professor

Negar a proposição "todo guarda civil metropolitano é eficiente" exige transformar o quantificador universal em um quantificador existencial e negar a propriedade atribuída.

Em termos lógicos: a afirmação é \( \forall x\,(G(x)\rightarrow E(x)) \). A negação é \( \neg \forall x\,(G(x)\rightarrow E(x)) \), que equivale a \( \exists x\,\neg(G(x)\rightarrow E(x)) \) e, por equivalência lógica, a \( \exists x\,(G(x)\land \neg E(x)) \).

Em linguagem natural, isso significa: existe pelo menos um guarda civil metropolitano que não é eficiente. Essa forma preserva a ideia de que há ao menos um indivíduo do conjunto indicado que não satisfaz a propriedade.