推广规则用于（ ）量词；指定规则用于（ ）量词。
A: 添加；消去
B: 消去；添加
C: 消去；消去
D: 添加；添加
A: 添加；消去
B: 消去；添加
C: 消去；消去
D: 添加；添加
A
举一反三
内容
- 0
求取子句集的步骤包括以下步骤，（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
- 1
谓词逻辑的推理中,若前提中既有存在量词公式又有全称量词公式,则应先消去() A: 存在量词 B: 全称量词 C: 个体变量 D: 个体常量
- 2
如果论域是集合{a,b,c},公式(∀x)(R(x)→Q(x))消去量词后表示为__________。
- 3
严格下策反复消去法把严格下策消去时会消去纳什均衡。（
- 4
严格下策反复消去法把严格下策消去时会消去纳什均衡。（ ）