Pular para o conteúdo principal

Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — CESGRANRIO 2012

Raciocínio LógicoTautologia, Contradição e Contingência
Código
cg046143
Banca
CESGRANRIO
Órgão
Petrobras
Ano
2012
Nível
Superior
Cargo
BR Distribuidora - Profissional Júnior - Formação Analista de Sistemas - Ênfase em Java - Crm e Web
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 é
  1. AG(x) → ¬P(x)
  2. B¬G(x) → P(x)
  3. CP(x) → G(x)
  4. D¬P(x) → G(x)
  5. E¬P(x) → ¬G(x)
Revelar gabarito e comentário

GabaritoE — ¬P(x) → ¬G(x)

Link permanente: /questoes/cg046143