Questões da Prova CESGRANRIO - 2012 - Innova - Analista de Sistemas Júnior
Foram encontradas 3 questões
Resolva questões gratuitamente!
Junte-se a mais de 4 milhões de concurseiros!
A lógica de predicados de primeira ordem foi escolhida para representar um conjunto de restrições que um modelo de dados deve satisfazer para adequar-se a um novo sistema. Considere os predicados P(v), representando que v é um pedido, I(w) representando que w é um item, e C(v,w) representando que w consta em v,para quaisquer variáveis v e w.
Qual a fórmula que pode ser usada para representar que, em qualquer pedido, consta ao menos um item?