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

Negação é o ato de afirmar o contrário de uma proposição. Para negar uma afirmação universal negativa ("Nenhum A é B"), basta mostrar que existe pelo menos um contraexemplo (um A que é B). Em lógica, negar "nenhum" é equivalente a dizer "existe pelo menos um".

• (A) Correta: É exatamente o que a lógica manda: para derrubar a afirmação "nenhum médico é cego", basta provar que existe um médico cego. A existência de um único caso já torna a afirmação original falsa.
• (B) Incorreta: "Nenhum cego é médico" é uma reescrita da afirmação original (equivalência lógica), não sua negação. Quem marca esta opção cai na pegadinha de confundir "negação" com "sinônimo".
• (C) Incorreta: "Todos os médicos são cegos" é uma afirmação mais forte que a original, mas não é a negação lógica. A negação exige apenas um caso, não todos.
• (D) Incorreta: "Todos os cegos são médicos" inverte a relação e também é uma afirmação universal, não a negação. A negação não fala sobre "todos", fala sobre "existência".
• (E) Incorreta: "Todos os médicos não são cegos" é outra forma de dizer "nenhum médico é cego" (equivalente à original). É a mesma armadilha da letra B: repetir a ideia com outras palavras não é negar.

Armadilha da banca: As letras B e E são as mais tentadoras, pois parecem "contrárias" mas, na verdade, são equivalentes à afirmação original. A banca testa se o aluno sabe que a negação de "nenhum" é "pelo menos um", e não "todos" ou "nenhum com palavras trocadas".