Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Considere as cláusulas C1 e C2, representadas...
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)}