以下推理过程是正确的。Ujp答案窝(daanwo.com)-大学生作业答案及考资分享平台
(1) ($y)(G(z,y) →H(y)) P规则Ujp答案窝(daanwo.com)-大学生作业答案及考资分享平台
(2) G(z,c) →H(c) ES,(2)Ujp答案窝(daanwo.com)-大学生作业答案及考资分享平台
Ujp答案窝(daanwo.com)-大学生作业答案及考资分享平台