Questão de Raciocínio Lógico · FCC ALAP 2019 (nº 11)

A negação de uma afirmação universal ("Todo A é B") é uma afirmação existencial ("Existe um A que não é B" ou "Pelo menos um A não é B"). Para negar "Todos os X fazem Y", basta mostrar que "Pelo menos um X não faz Y".

(A) Incorreta: "Nenhum homem carrega todas suas malas" significa que para todos os homens, é falso que eles carregam todas as malas, o que é uma negação muito mais forte e não a negação lógica da afirmação original.
(B) Incorreta: Esta alternativa modifica o conteúdo da afirmação original (o número de malas), não sendo sua negação lógica.
(C) Incorreta: "Pelo menos um homem não carrega nenhuma de suas malas" é uma condição mais específica do que a negação. Se ele não carrega nenhuma, ele de fato não carrega todas, mas a negação deve ser a condição mínima para invalidar a original. A negação é "não carrega todas", que permite que ele carregue algumas, mas não todas.
(D) Incorreta: "Todos os homens não carregam nenhuma de suas malas" é uma afirmação universal negativa, muito mais forte que a negação da original.
(E) Correta: A negação de "Todos os homens carregam todas suas malas" é que existe pelo menos um homem para quem não é verdade que ele carrega todas as suas malas. Isso significa que há um homem que pode carregar algumas malas, mas não todas elas, ou até nenhuma.