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

Gabarito

Errado

Comentário do professor

Temos as premissas: \( \forall x (P(x) \rightarrow F(x))\) (todo psicólogo conhece Freud), \(P(Gael)\) e \(F(Amália)\).

Da primeira, só se conclui que ser psicólogo implica conhecer Freud. Isso é uma implicação, não uma bicondicional.

Portanto, a informação \(F(Amália)\) não permite inferir \(P(Amália)\). O inverso da implicação (\(F(x)\rightarrow P(x)\)) não é garantido.

Um contraexemplo simples: alguém que estudou Freud por conta própria ou por outra formação conhece a teoria, mas não é psicólogo.

Logo, afirmar que Amália é psicóloga com base nas premissas é incorreto, por isso o julgamento é ERRADO.