问题
单项选择题
在谓词演算中，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。