Questão de Raciocínio Lógico — Fundamentos de Lógica — CESGRANRIO 2012
Raciocínio LógicoFundamentos de Lógica
- Código
- cg048161
- Banca
- CESGRANRIO
- Órgão
- Innova
- Ano
- 2012
- Nível
- Superior
- Cargo
- Analista de Sistemas Júnior
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)))