求取子句集的步骤包括以下步骤，（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
举一反三
- 化子句集的步骤不包括以下哪个选项 。 A: 把目标的否定化成子句式，并用重言式表示 B: 消去存在量词 C: 把母式化为合取范式 D: 化为前束形
- 任何谓词公式,都可以化成与其等价的前束范式。而前束范式分为前束合取范式和前束析取范式。
- 前束范式和斯柯林范式的区别是（ ）。 A: 斯柯林范式要求存在量词在全称量词之前 B: 前束范式不要求量词是非否定的 C: 斯柯林范式对量词的辖域没有要求 D: 斯柯林范式对量词在公式中的位置没有要求
- 全称量词消去规则: (∀x)A(x)=>A(c)则
- 谓词逻辑的推理中,[img=140x25]1803a5da15ef363.png[/img]使用的是( )。 A: 全称量词引入规则 B: 全称量词消去规则 C: 存在量词引入规则 D: 存在量词消去规则