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 é