谓词包括:()A.动词B. 拟声词C. 形容词D. 叹词E. 语气词

第1题：

产生式不包括一阶谓词逻辑

第2题：

9、以下关于谓词的说法不对的是：

A．谓词一般由具有相应意义的英文单词表示

B．谓词的元数就是谓词操作的个体数

C．谓词的定义、含义的制定，有规范的标准

D．可以用括号组成具有优先运算关系的谓词

第3题：

8、谓词逻辑中使用的逻辑连接符包括（）。

A．合取

B．析取

C．蕴含

D．选项都包括

第4题：

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

第5题：

10、全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为：

A．一阶谓词

B．低阶谓词

C．原子公式

D．高阶谓词

第6题：

3、S（x)是 谓词，G（x,y)是 谓词，B（x,y,z)是 谓词