Questão 607165

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

Considere as cláusulas C1 e C2, representadas, respectivamente, pelos conjuntos { ¬ A(x),B(x)} e { A(g(y)),B(y)}.
Um resolvente dessas cláusulas é

• A. {B(x), B(y)}
• B. {B(g(y)), B(y)}
• C. { ¬ A(x), A(g(x))}
• D. {¬ A(x), A(g(x)), B(x)}
• E. {¬ A(x), B(x), A(g(y)), B(y)}

Gabarito: B

Comentários

• Entendi nada dessa questão.

• Eu consegui chegar na resposta da questão pensando em conjuntos...
  { ¬ A(x),B(x)} - Se o elemento "x" não está no conjunto A, então ele está no conjunto B.
  { A(g(y)),B(y)} - Se o elemento "y" está no conjunto G, e G pertence ao conjunto A, logo ele também pertence ao conjunto B.
  Sendo assim, eu imaginei o elemento B sendo o Universo, e os conjuntos A e G estariam dentro dele.
  Logo a única resposta que faz sentido seria...
  {B(g(y)), B(y)} - Se o elemento "y" está no conjunto G, o qual está dentro do conjunto B, logo "y" pertence ao conjunto B.
   

  Nesse raciocínio as demais questões não fariam sentido, porém não sei se é o raciocínio correto.  =/