Questão 1459921

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2012
• Provas: CESGRANRIO - 2012 - BR Distribuidora - Profissional Júnior - Formação Analista de Sistemas - Ênfase em Java - Crm e Web
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

Considere a afirmativa “Todo gerente de projeto é programador".
Considere os predicados G(x) e P(x), que representam, respectivamente, que x é gerente de projeto e que x é programador.
Uma representação coerente da afirmativa acima em lógica de primeira ordem é

• A. G(x) → ¬P(x)
• B. ¬G(x) → P(x)
• C. P(x) → G(x)
• D. ¬P(x) → G(x)
• E. ¬P(x) → ¬G(x)

Gabarito: E

Comentários

• E) GENTE QUE CONFUSÃO CESGRANRIO. Eles querem medir a visão do candidato?  Volta negando. 

• Representar G(x)  →  P(x) é o mesmo que dizer  “Todo gerente de projeto é programador".

   

  Contudo não há nas alternativas essa representação lógica, é necessário, portanto, achar a sua equivalência lógica.

   

  G(x)  →  P(x) ⇔ ¬P(x) → ¬G(x)​. Portanto, letra "e".

• Esse assunto é complicado de entender, mas essa proposição é elementar.

  • Considere que (x) representa uma "pessoa".

  • Considere que G é "gerente de projeto".

  • Considere que P é "programador".

   

  Logo, trocando por miúdos, a sentença implica em: "Se essa pessoa (x) for gerente de projeto (G), então (-->) ela será programadora (P)".

  Como não há nas alternativas uma que represente diretamente a inferência, você precisa lembrar das regras de negação, da equivalência lógica dessa proposição: "nega-se tudo e inverte-se tudo, mantendo o conectivo. 

   

  G(x) --> P(x) = - P(x) --> - G(x)