Questões de Concurso

Petrobras

Concurso: Petrobras
Cargo: Analista de Sistema Júnior - Processos de Negócio
Ano: 2011

Ano:

2011

Banca:

CESGRANRIO

Cargo:

Analista de Sistema Júnior - Processos de Negócio

Disciplina: Raciocínio Lógico

notificar erro

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