多选题 在谓词演算中,P(a)是VxP(x)的有效结论,是的有效结论,其理论依据是()

【参考答案】

答案：A. 存在量词消去规则 B. 全称量词消去规则

解析：在谓词演算中，如果P(a)是VxP......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)