考题
归结方法将所有的谓词公式均化简为子句,致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。()
此题为判断题(对，错)。
考题
在SQL的查询语句中,谓词“EXISTS”的含义是( )。
A、全称量词B、存在量词C、自然连接D、等值连接
考题
仅个体变元被量化的谓词称为()
A.一阶谓词B.原子公式C.二阶谓词D.全称量词
考题
在SQL语句中，谓词“EXISTS”的含义是（）A、全程量词B、存在量词C、自然连接D、等值连接
考题
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
考题
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
考题
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
考题
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
考题
合一算法：求非空有限具有相同谓词名的原子公式集的（）
考题
谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。
考题
根据谓词与项目的组合关系，可以把谓词分为（）、（）、（）、（）。
考题
下列词类从大类到小类的归类，不正确的是（）A、实词—谓词—动词—及物动词B、实词—体词—名词—处所名词C、实词—谓词—助词—时态助词D、实词—体词—量词—名量词
考题
只能带名词性宾语的动词被称为（）；只能带谓词性宾语的动词被称为（）；既能带名词性宾语，又能带谓词性宾语的动词称为（）。
考题
下列哪种词类是谓词？（）A、区别词B、副词C、量词D、形容词
考题
单选题下列词类从大类到小类的归类，不正确的是（）A
实词—谓词—动词—及物动词B
实词—体词—名词—处所名词C
实词—谓词—助词—时态助词D
实词—体词—量词—名量词
考题
填空题合一算法：求非空有限具有相同谓词名的原子公式集的（）
考题
判断题归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。A
对B
错
考题
填空题在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
考题
单选题仅个体变元被量化的谓词称为（）A
一阶谓词B
原子公式C
二阶谓词D
全称量词
考题
填空题由于谓词性代词的意义相当于一个（），故称为谓词性代词。
考题
单选题下列哪种词类是谓词？（）A
区别词B
副词C
量词D
形容词
考题
单选题在SQL语句中，谓词“EXISTS”的含义是（）A
全程量词B
存在量词C
自然连接D
等值连接
考题
填空题谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。