Questão de Raciocínio Lógico · FGV CMSP 2024 (nº 63)

A negação lógica de uma afirmação inverte seu valor de verdade. Para negar uma frase com "Todo" (quantificador universal), trocamos por "Existe um" ou "Há um", e negamos o restante da frase. Para negar uma frase com "ou" (disjunção), usamos as Leis de De Morgan, trocando "ou" por "e" e negando cada parte.

• (A) Incorreta: Mantém o quantificador universal ("Todo") e nega as partes, mas mantém o conectivo "ou" em vez de trocá-lo por "e".
• (B) Incorreta: Esta é a armadilha mais comum. Nega corretamente as partes e troca o "ou" por "e" (aplicando De Morgan), mas falha ao negar o quantificador universal "Todo", mantendo-o. A negação de "Todo" é "Existe um" ou "Há um".
• (C) Incorreta: Nega corretamente o quantificador ("Há candidato"), mas nega as partes e mantém o conectivo "ou" em vez de trocá-lo por "e", o que é um erro na aplicação das Leis de De Morgan.
• (D) Incorreta: Não é a negação lógica completa. Nega uma das condições e mantém a outra, mas não é a negação do conjunto "P ou Q".
• (E) Correta: A negação de "Todo candidato possui curso superior ou 5 anos de experiência" é "Há candidato que não possui curso superior e não possui 5 anos de experiência". "Todo" vira "Há candidato"; "possui curso superior ou 5 anos de experiência" vira "não possui curso superior e não possui 5 anos de experiência" (pelas Leis de De Morgan, $\neg(A \lor B) \equiv \neg A \land \neg B$).