Questão FC670513
Admita‑se que as seguintes proposições são verdadeiras: • “Todo psicólogo conhece a teoria de Freud”; • “Gael é psicólogo”; • “Amália conhece a teoria de Freud”. Com base nessas in
Lógica de Proposições
QUADRIX · 2025
Admita‑se que as seguintes proposições são verdadeiras:
• “Todo psicólogo conhece a teoria de Freud”; • “Gael é psicólogo”; • “Amália conhece a teoria de Freud”.
Com base nessas informações, julgue o item a seguir.
A negação de “Todo psicólogo conhece a teoria de Freud” é “Nenhum psicólogo conhece a teoria de Freud”.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
A afirmação foi julgada ERRADO porque a negação de uma sentença universal afirmativa não é uma universal negativa. A regra lógica é: negamos o quantificador universal trocando por um quantificador existencial e negando o predicado.
Formalmente: \( \neg(\forall x\,(P(x)\rightarrow Q(x))) \equiv \exists x\,(P(x)\land \neg Q(x)) \). Aplicando ao enunciado, a negação correta é “Algum psicólogo não conhece a teoria de Freud”, ou seja, existe pelo menos um psicólogo que não conhece a teoria de Freud.
Já “Nenhum psicólogo conhece a teoria de Freud” afirma que todos os psicólogos não conhecem Freud, o que é mais forte e não equivale à negação lógica de “Todo psicólogo conhece a teoria de Freud”.
Conteúdo do catálogo FC Concursos · Atualizado em