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

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

Ano: 2011Banca: CESGRANRIOOrganização: PetrobrasDisciplina: Raciocínio Lógico e QuantitativoTemas: Introdução à Lógica | Proposições 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 é

Gabarito comentado

Anotações

Marcar para revisão

Considere as cláusulas C1 e C2, representadas, respectivamente, pel...