Cadernos de Questões

Provas Favoritas

Filtros Salvos

Foi encontrada 1 questão.
#2391227

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 é

  • G(x) → ¬P(x)
  • ¬G(x) → P(x)
  • P(x) → G(x)
  • ¬P(x) → G(x)
  • ¬P(x) → ¬G(x)
Fale com IAgo
IAgo - Assistente IAProva
IA
Olá! Sou o IAgo, seu assistente aqui no IAProvatec 😊
Veja como posso te ajudar:
Agora