Questão de Raciocínio Lógico · FGV TJSC 2018 (nº 21)

A negação de "Todo A é B ou C" não é "Nenhum A é B ou C". A regra é: negar um "Todo" (universal) exige um "Algum" (existencial) com a negação do predicado inteiro, e negar um "ou" exige um "e" (Lei de De Morgan). Ou seja, a negação de "Todo X é (P ou Q)" é "Algum X não é P e não é Q".

• (A) Incorreta: "Nenhum" nega a quantidade, mas mantém o "ou" e não nega o predicado composto; a negação de "todo" é "algum não", não "nenhum".
• (B) Incorreta: Mantém "Todo" (universal) e usa "mas" (que equivale a "e"), mas a negação de "Todo" nunca é "Todo"; além disso, nega só a segunda parte, não o conjunto inteiro.
• (C) Incorreta: Mantém "Todo" e nega o predicado, mas a negação de um universal afirmativo é um particular negativo ("Algum não"), nunca um universal negativo ("Todo não").
• (D) Correta: A negação de "Todo catarinense (gosta de camarão ou é torcedor)" é "Algum catarinense não (gosta de camarão ou é torcedor)". Pela Lei de De Morgan, "não (P ou Q)" vira "não P e não Q". Logo: "Algum catarinense não gosta de camarão e não é torcedor do Figueirense".
• (E) Incorreta: A pegadinha está no "ou" final. Quem erra troca o "e" pelo "ou", esquecendo que a negação de "ou" é "e". "Algum não P ou não Q" seria a negação de "Todo P e Q", não desta sentença.