多项选择题

谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。

A.谓词符号
B.变量符号
C.函数符号

<上一题 目录 下一题>
热门 试题

单项选择题
问题的状态空间是一个表示该问题（）状态及其关系的图

A.全部可能
B.多数
C.少数
D.某些
单项选择题
消解是一种可用于一定的（）的重要推理规则。

A.子句
B.双条件
C.合取公式
D.蕴含公式
相关试题