单选题
在谓词演算中，P(a)是xp(x)的有效结论，根据是（ ）。
A、
US规则
B、
UG规则
C、
ES规则
D、
EG规则
【正确答案】
A
【答案解析】
提交答案
关闭