Introduction to Logic
Tools
for
Thought
 

Exercise 14.4 - Resolution

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

Show Instructions
Resolution
Goal  Incomplete