填空题
正确答案
答案解析
略
相似试题
在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）
单选题查看答案
在SQL嵌套查询中，量词ANY和量词（）执行效果是一样的。
单选题查看答案
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
填空题查看答案
在SQR的嵌套查询中，量词ANY和（）是同义词。在SQL查询时，使用（）子句指出的是查询条件。
填空题查看答案
下列正则表达式量词符号与含义不匹配的是（）
单选题查看答案
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
判断题查看答案
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
判断题查看答案
求取子句集的步骤包括以下步骤：消去“蕴含”连结词、减少“非”连结词的辖域、对变量标准化、消去存在量词、化成前束范式、（）。
多选题查看答案
求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
多选题查看答案