Questão FC670511
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.
Pode‑se concluir que Gael conhece a teoria de Freud.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
As duas primeiras proposições formam um silogismo simples cujo encadeamento torna a conclusão necessária. A primeira afirmação é universal: "Todo psicólogo conhece a teoria de Freud", e a segunda identifica Gael como membro dessa classe: "Gael é psicólogo".
Formalmente: \( \forall x\,(P(x)\rightarrow F(x)) \) e \( P(\text{Gael}) \). Aplicando instanciação universal seguida de modus ponens, obtemos \( F(\text{Gael}) \), ou seja, Gael conhece a teoria de Freud.
A proposição sobre Amália é verdadeira mas não necessária para a dedução; não altera a validade do argumento. Como a conclusão decorre logicamente das primeiras duas premissas, o julgamento CERTO está correto.
Conteúdo do catálogo FC Concursos · Atualizado em