Questão de Lógica proposicional · INSS · gabarito comentado
CEBRASPE · Raciocínio Lógico-Matemático · INSS
A negação de "Algum servidor foi aprovado" é:
A) "Algum servidor não foi aprovado."
B) "Todo servidor foi aprovado."
C) "Nenhum servidor foi aprovado." ✓
D) "Nem todo servidor foi aprovado."
Gabarito: C
Explicação: Negar "algum A é B" (existe pelo menos um) é dizer que NÃO existe nenhum: "nenhum A é B".
Revise a teoria de Lógica proposicional
Conectivos: e (conjunção), ou (disjunção), se...então (condicional), se e somente se (bicondicional). De Morgan: negar (p e q) vira (não p ou não q); negar (p ou q) vira (não p e não q). A negação de TODO A é B é ALGUM A não é B. A condicional p então q equivale à contrapositiva: não q então não p.