Questão de Raciocínio Lógico · FGV PMS 2019 (nº 16)

Conceito-chave: A negação de “todos são pretos” é “pelo menos um não é preto”. Em lógica, para negar uma afirmação universal (“todos”), basta mostrar um único caso contrário — não precisamos provar que nenhum é preto, nem que a maioria não é.

• (A) Incorreta: “Nenhum é preto” é uma afirmação mais forte do que a negação; a informação dada não garante isso, pois pode haver alguns pretos e só um não preto.
• (B) Incorreta: “Todos são malhados” não tem relação lógica com a cor preta; a premissa não fala nada sobre malhagem.
• (C) Incorreta: “Pelo menos um é branco” é uma suposição específica; a negação de “todos pretos” não exige que o não-preto seja branco (pode ser cinza, malhado, etc.).
• (D) Incorreta: “A maioria não é preta” é uma conclusão quantitativa que não decorre da negação; basta um único gato não preto para negar “todos”.
• (E) Correta: É exatamente a negação lógica de “todos são pretos”: se não é verdade que todos sejam pretos, então existe pelo menos um gato que não é preto. A armadilha da banca está em (A) e (D), que parecem “fortalecer” a ideia, mas extrapolam o que a lógica permite afirmar.