2. 计算机
  3. 在谓词演算中，P(A) 是xP(x)的有效结论，根据是 (60) 。

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

admin2009-02-15  21
问题 在谓词演算中，P(A) 是xP(x)的有效结论，根据是  (60)  。
选项 A、US规则
B、UG规则
C、ES规则
D、EG规则
答案A
解析 全称量词消去规则的定义为，即A(C) 是的有效结论．故应选择A。
转载请注明原文地址:https://kaotiyun.com/show/xoLZ777K
本试题收录于： 系统分析师上午综合知识考试题库软考高级分类
0

系统分析师上午综合知识考试

软考高级

相关试题推荐
随机试题
最新回复(0)