Assume we apply the general resolution rule to the two claus…
Assume we apply the general resolution rule to the two clauses q(Z) or ~p(Z,d) p(c,Y) or ~r(Y) with Y,Z variables and c,d constants. What will Y then be substituted with?
Assume we apply the general resolution rule to the two claus…