Questão de Raciocínio Lógico · FGV PSS IBGE 2021 2022 (nº 17)

Para negar uma frase universal ("Todo X é Y"), transformamos em uma frase existencial ("Existe X que não é Y"). Se a característica Y for composta (ex: "A ou B"), a negação dessa característica ("não (A ou B)") se torna "não A E não B" (pelas Leis de De Morgan).

(A) Incorreta: A negação de "Todo X é Y" não é "Nenhum X é Y". "Nenhum X é Y" significa "Todo X não é Y", que é uma afirmação universal diferente da negação. A negação de uma universal deve ser existencial.
(B) Incorreta: A armadilha aqui é manter o quantificador "Toda" e apenas negar as características, mas de forma errada. A negação de "verde ou venenosa" não é "não é verde ou não é venenosa". Pela Lei de De Morgan, a negação de uma disjunção ("A ou B") é a conjunção das negações ("não A E não B"). Além disso, a negação de uma proposição universal ("Toda cobra...") deve ser uma proposição existencial ("Existe cobra...").
(C) Correta: A frase original "Toda cobra é verde ou venenosa" significa que não existe cobra que não seja verde NEM venenosa. Portanto, sua negação é que existe pelo menos uma cobra que não é verde E não é venenosa. "Não é verde nem é venenosa" é o mesmo que "não é verde E não é venenosa", que é a negação correta da característica "verde ou venenosa".
(D) Incorreta: Esta alternativa faz uma afirmação sobre um subconjunto específico de cobras (as verdes) e não nega a proposição original sobre todas as cobras.
(E) Incorreta: Similar à alternativa D, esta faz uma afirmação sobre cobras venenosas e não sobre a totalidade das cobras em relação à proposição original.