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?
- A ∀ x ∀(P(x)∧ι(y)∧C(x,y)
- B ∃x∃yP(x)∧ι(y)∧C(x,Y))
- C ∀x(P(x) -> ∀y(ι(y) C(x,y)))
- D ∀(P(x) -> ∃y(ι(y)∧C(x,y)))
- E ∃x(P(x)∧∀y(ι(y) C(x,y)))