Considere as cláusulas C1 e C2, representadas, respectivamen...

Com base no mesmo assunto

Q202386

Ano: 2011 Banca: CESGRANRIO Órgão: Petrobras Prova: CESGRANRIO - 2011 - Petrobras - Analista de Sistemas Júnior - Processos de Negócios - 2011 |

Q202386 Raciocínio Lógico

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 é

{B(x), B(y)}

{B(g(y)), B(y)}

{ ¬ A(x), A(g(x))}

{¬ A(x), A(g(x)), B(x)}

{¬ A(x), B(x), A(g(y)), B(y)}

Você errou! Resposta:

teste

Parabéns! Você acertou!

teste

Questões de assuntos semelhantes