(1,0) 1 -
Considere a seguinte afirmação: “ Todo colecionador é excêntrico.”
A negação lógica dessa proposição equivale a:
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.
Recuperar senha
