Questões de Concurso Público BR Distribuidora 2012 para Profissional Júnior - Formação Analista de Sistemas - Ênfase em Java - Crm e Web
Foi encontrada 1 questão
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 é