A lógica de predicados de primeira ordem foi escolhida para...

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?