Pular para o conteúdo principal

Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2024

Raciocínio LógicoEquivalência Lógica e Negação de Proposições
Código
ce191322
Banca
CESPE / CEBRASPE
Órgão
CAU-BR
Ano
2024
Nível
Médio
Considerando as proposições lógicas P₁ e P₂, julgue o item subsequente.A negação da proposição P₁ pode ser expressa corretamente como “Existe ao menos um profissional competente sem criatividade e sem sensibilidade social.”.
  1. CCerto
  2. EErrado
Revelar gabarito e comentário

GabaritoC — Certo

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”.

Lógica Proposicional – Negação de Proposições Quantificadas

Gabarito: Certo. A negação de P₁, que afirma “Todo profissional competente tem criatividade ou sensibilidade social”, é corretamente expressa por “Existe ao menos um profissional competente sem criatividade e sem sensibilidade social”. Isso decorre da combinação da negação do quantificador universal (Todo → Existe que não) com a aplicação da Lei de De Morgan sobre a disjunção interna.


A proposição P₁ pode ser simbolizada como:

P₁: ∀x (C(x) → (Cr(x) ∨ S(x)))

onde:

  • C(x): x é profissional competente

  • Cr(x): x tem criatividade

  • S(x): x tem sensibilidade social

A negação de uma proposição universal afirmativa (∀x (A(x) → B(x))) é a proposição existencial negativa: ∃x (A(x) ∧ ¬B(x)). Aplicando a P₁:

¬P₁: ∃x (C(x) ∧ ¬(Cr(x) ∨ S(x)))

Pela Lei de De Morgan, a negação da disjunção (Cr(x) ∨ S(x)) equivale à conjunção das negações: ¬Cr(x) ∧ ¬S(x). Logo:

¬P₁: ∃x (C(x) ∧ ¬Cr(x) ∧ ¬S(x))

Em linguagem natural: “Existe pelo menos um profissional competente que não tem criatividade e não tem sensibilidade social”. A redação do item — “Existe ao menos um profissional competente sem criatividade e sem sensibilidade social” — é perfeitamente equivalente.


Caso

Atribuição (C(x), Cr(x), S(x))

Resultado

P₁ original

∀x (C(x) → (Cr(x) ∨ S(x)))

Proposição universal

¬P₁ (negação)

∃x (C(x) ∧ ¬Cr(x) ∧ ¬S(x))

Proposição existencial

Item proposto

∃x (C(x) ∧ ¬Cr(x) ∧ ¬S(x))

Equivalente a ¬P₁

PEGA ESSA DICA!

Em questões de negação, lembre-se sempre de duas regras básicas combinadas:

  1. Negação do “todo” = “existe... que não” (ou “algum... não”)

  2. Negação do “ou” = “e” com ambas as partes negadas (Lei de De Morgan)

A banca costuma testar exatamente essa combinação, como neste item.

Portanto, a afirmação está correta.

Gabarito: Certo

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')
Negação de quantificadores (negação de 'Todo')

Link permanente: /questoes/ce191322