Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2021
Raciocínio Lógico›Equivalência Lógica e Negação de Proposições
Código
ce121290
Banca
CESPE / CEBRASPE
Órgão
PC-DF
Ano
2021
Nível
Superior
Cargo
Escrivão de Polícia da Carreira de Polícia Civil do Distrito Federal
Com relação a estruturas lógicas, lógica de argumentação e lógica proposicional, julgue o item subsequente.A negação da proposição “Todos são iguais perante a lei” é “Todos são diferentes perante a lei”.
CCerto
EErrado
Revelar gabarito e comentário▾
GabaritoE — Errado
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Raciocínio Lógico – Negação de Proposições
❌ ERRADO. A negação da proposição universal afirmativa "Todos são iguais perante a lei" é "Alguém não é igual perante a lei" (particular negativa), e não "Todos são diferentes perante a lei", que mantém o mesmo quantificador universal. A banca comete o erro de trocar apenas o predicado, sem alterar o quantificador.
A lógica clássica estabelece que a negação de uma proposição categórica do tipo Todo A é B é Algum A não é B. A proposição original é "Todos são iguais perante a lei" (Todo S é P). A negação correta seria "Alguém não é igual perante a lei" (ou "Nem todos são iguais"). A proposição apresentada "Todos são diferentes perante a lei" é também uma universal afirmativa (Todo S é não-P), que não corresponde à negação lógica.
Proposição Original
Quantificador
Predicado
Negação Correta (Quantificador + Predicado)
Proposição do Item (Quantificador + Predicado)
Equivalente à Negação?
Todo S é P
Universal
iguais
Algum S não é P (particular + não-P)
Todo S é não-P (universal + diferente)
Não
“Todos são iguais”
“Todos”
“iguais”
“Alguém não é igual”
“Todos são diferentes”
Falso
Negação de proposições categóricas: Todo A é B (Algum A não é B (correta), Nenhum A é B (errada), Todo A é não-B (errada)); Nenhum A é B (Algum A é B); Algum A é B (Nenhum A é B); Algum A não é B (Todo A é B)
NÃO CAIA NESSA!
A banca explora a confusão entre trocar o predicado ("iguais" por "diferentes") e a verdadeira negação, que exige mudar o quantificador de universal para particular. Memorize: a negação de "todo" é "algum... não".
Portanto, a afirmação está errada.
MNEMÔNICO
PEA
PPelo menos umEExisteAAlgum. A negação de 'Todo A é B' usa um desses quantificadores particulares (ex.: 'Algum A não é B' / 'Existe A que não é B' / 'Pelo menos um A não é B')