Introduction to Logic

Given the clauses {p(a), q(a)}, {¬p(x), r(x)}, {¬q(a)}, use Relational Resolution to derive the clause {r(a)}.

Show Instructions
Resolution
Goal  Incomplete