///
Esta questão foi aplicada no ano de 2012 pela banca CESGRANRIO no concurso para Innova. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Introdução à Lógica, Proposições e Operadores Lógicos.
Esta é uma questão de múltipla escolha com 5 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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?