"O projeto será bem-sucedido se ou o processo de desenvolvimento é o Processo Unificado ou a linguagem utilizada é Java."
Uma possível tradução da sentença acima para a lógica de predicados de primeira ordem é
"O projeto será bem-sucedido se ou o processo de desenvolvimento é o Processo Un...
Questão de Programação da banca CESGRANRIO aplicada no concurso Petrobras (2008). Confira a resolução completa abaixo: