以下推理过程是正确的。N64答案窝(daanwo.com)-大学生作业答案及考资分享平台
(1) ("x)($y)P(x,y) P规则N64答案窝(daanwo.com)-大学生作业答案及考资分享平台
(2) ($y)P(a,y) US, (1)N64答案窝(daanwo.com)-大学生作业答案及考资分享平台
N64答案窝(daanwo.com)-大学生作业答案及考资分享平台