问题
单项选择题
在谓词演算中，P(A)是
xP（x）的有效结论，根据是（）。
A．US规则
B．UG规则
C．ES规则
D．EG规则
答案
参考答案：A
解析：
全称量词消去规则的定义为[*]，即A(C) 是[*]的有效结论．故应选择A。
搜题请搜索小程序“爱下问搜题”
在谓词演算中，P(A)是xP（x）的有效结论，根据是（）。
A．US规则
B．UG规则
C．ES规则
D．EG规则
参考答案：A
解析：
全称量词消去规则的定义为[*]，即A(C) 是[*]的有效结论．故应选择A。