12、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
12、对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。
参考答案和解析
√
相关考题：
在分组检索中，要去掉不满足条件的分组和不满足条件的记录，应当______。A．使用WHERE子句B．使用HAVING子句C．先使用HAVING子句，再使用WHERE子句D．先使用WHERE子句，再使用HAVING子句
使用SQL语句进行分组检索时，为了去掉不满足条件的分组，应当( )A、使用WHERE子句B、在GROUP BY后面使用HAVING子句C、先使用WHERE子句，再使用HAVING子句D、先使用HAVING子句，再使用WHERE子句E、使用FOR子句
使用SELECT语句随机地从表中挑出指定数量的行，可以使用的方法是（）。A、只要使用LIMIT子句定义指定的行数即可，不使用ORDERBY子句B、在ORDERBY子句中使用RAND（）函数，并用LIMIT子句定义行数C、在LIMIT子句中使用RAND（）函数指定行数，并用ORDERBY子句定义一个排序规则D、只要在ORDERBY子句中使用RAND（）函数，不使用LIMIT子句
使用SQL语句进行分组检索时，为了去掉不满足条件的分组，应当（）。A、使用WHERE子句B、在GROUPBY后面使用HAVING子句C、先使用WHERE子句，再使用HAVING子句D、先使用HAVING子句，再使用WHERE子句
单选题使用SQL语句进行分组检索时，为了去掉不满足条件的分组，应当（）A使用WHERE子句B在GROUP BY后面使用HAVING子句C先使用WHERE子句，再使用HAVING子句D先使用HAVING子句，再使用WHERE子句E使用FOR子句
单选题使用SQL语句进行分组检索时，为了去掉不满足条件的分组，应当（ ）。A使用WHERE子句B在GROUP BY后面使用HAVING子句C先使用WHERE子句，再使用HAVING子句D先使用HAVING子句，再使用WHERE子句
填空题在查询操作中，将查询结果按指定表达式进行分组的子句是（）；对查询的结果集进行排序的子句是（）。