基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有

A.用Skolem函数(对偶形)消去目标公式中的全称量词，化简的公式受存在量词的约束。

B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。

C.对规则的处理同(*)式。

D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。(*)

A.文字析取形

B.任意形式

C.子句的合取式

D.文字合取形

A.事实表达式的与或树

B.目标公式的与或树

C.与或树

D.证明树

给定命题：“有的女孩比所有的男孩都聪明”。令x，y代表任意客体域中的变元，定义谓词G(x)：“x是女孩子”，B(x)：“x是男孩子”，C(x，y)：“x比y聪明”，并规定┐C(x,y)？C(y,x) (1)用上述谓词将给定命题翻译为谓词公式。 (2)下列命题哪一个是给定命题的反命题？利用逻辑联词的等价关系证明你的结论(不需要作出公理化方法的严格说明) ①有的男孩子比所有女孩子都聪明。 ②对于任何男孩子，一定至少有一个不如他聪明的女孩子。 ③对于任何女孩子，一定至少有一个比她聪明的男孩子。

A.

B.

C.

D.