在谓词演算中,P(A) 是xP(x)的有效结论,根据是 (60) 。

admin2009-02-15  29

问题 在谓词演算中,P(A) 是xP(x)的有效结论,根据是  (60)  。

选项 A、US规则
B、UG规则
C、ES规则
D、EG规则

答案A

解析 全称量词消去规则的定义为,即A(C) 是的有效结论.故应选择A。
转载请注明原文地址:https://kaotiyun.com/show/xoLZ777K
0

最新回复(0)