超星 - 测验5-一阶逻辑等值演算 - 查题吧

单选题

设有谓词公式 A、B,说推理结构 A→B 是正确的(或者有效的)可以理解为()。

A 总是真的
B. 谓词公式A→ B 是可满足的
C. 在令 A 为真的任一解释下,B 亦为真
D. B 总是真的

单选题

谓词逻辑推理结构中使用全称量词消去US规则或存在量词消去ES规则将量词辖域中的指导变量例化,进而可以使用基本的推理规则。在一段演绎推理序列中,如果要将指导变量例化成同名的个体常量,必循严格遵循先ES再US的原则。这是因为()。

A. 谓词逻辑推理的形式结构就是这样定义的
B. US引入的个体实例都是ES不能接受的
C. ES引入的任何个体实例都可以被US接受
D. 这只是一种约定俗成的书写习惯

1