题目内容：

归结推理法证明问题
A1 = (∃x)(P(x)∧(∀y)(R(x,y)→L(x,y)))
A2 = (∀x)(P(x)→(∀y)(Q(y)→┐L(x,y)))
B = ┐(∃x)(∀y)(R(y,x)∧Q(x))
用归结推理法证明A1∧A2 => B
请一定要用归结推理法