Questão 829693

• Banca: CESGRANRIO
• Órgão: Innova
• Ano: 2012
• Provas: CESGRANRIO - 2012 - Innova - Analista de Sistemas Júnior
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica; Proposições Simples e Compostas e Operadores Lógicos

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)))

Gabarito: D

Comentários

• Vai pela lógica...

  Para todo e qualquer = A virado de cabeça para baixo...

  Existe pelo menos um = E virado para a esquerda...

  Só achar a opção que contenha a sequencia... A ao contrario p(v) seguido de E ao contrário... :D

• Resolve analisando o comando da questão que fica bem mais fácil.

  "Em qualquer pedido, consta ao menos um item".

   

  • "Em qualquer pedido": mesma coisa que falar em TODO pedido (já sabe que vai ter que ter um A invertido na resposta).

  • "...ao menos um...": mesma coisa que falar em ALGUM item (já sabe que vai ter que tem um E invertido na resposta).

   

  Depois, o negócio é traduzir o que ele pede:

  ∀(P(x) ∃y(ι(y)∧C(x,y)))

  Para todo modelo de informações de dados, pelo menos um item vai constar no pedido.