单选题在谓词演算中，P(

A、是
B、 UG规则
C、 ES规则
D、 EG规则

【正确答案】 A

【答案解析】[解析] 全称量词消去规则的定义为[*]，即A(C) 是[*]的有效结论．故应选择A。