Questões comentadas Prefeitura de Cuiabá-MT de Matérias Diversas | 100271

A alternativa correta é: a) Pelo menos um colecionador não é excêntrico. ✅

Explicação:

• A proposição original é "Todo colecionador é excêntrico", que em lógica se escreve: [ \forall x (C(x) \rightarrow E(x)) ] ou seja, para todo x, se x é colecionador, então x é excêntrico.

• A negação de uma proposição universal ( \forall x P(x) ) é uma proposição existencial: [ \neg \forall x P(x) \equiv \exists x \neg P(x) ]

• Aplicando aqui: [ \neg \forall x (C(x) \rightarrow E(x)) \equiv \exists x (C(x) \land \neg E(x)) ]

• Em palavras: "Existe pelo menos um colecionador que não é excêntrico", que corresponde à alternativa a.

As outras alternativas não representam a negação correta da proposição.