谓词

未来题库→标签→谓词

谓词

1.SQL中谓词EXIST可用来测试一个集合是否（）。2.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。（）3.设个体域D={a，b，c}，那么谓词公式（$x）A（x）∨（“”y）B（y）消去量词后的等值式为（）.4.设个体域D＝{1，2，3}，则谓词公式（“”x）A（x）消去量词后的等值式为A（1）∧A（2）∧A（3）.5.设个体域D＝{1，2}，则谓词公式（“”x）P（x）∨（$x）Q（x）消去量词后的等值式为（P（1）∧P（2））∨（Q（1）∨Q（2））.6.设个体域D＝{1，2，3，4}，则谓词公式（$x）A（x）消去量词后的等值式为A（1）∨A（2）∨A（3）∨A（4）”7.SELECT语句查询条件中的谓词“=ANY”与运算符等价。8.如果谓词公式P→Q和Q→R都为真，则可推出的结论是（）。9.一阶谓词逻辑，不属于下列哪类逻辑？10.康德认为（）显然不是一个实在的谓词，它只是对于一个事物或者对于某些自在的规定本身的断定。11.（）和（）具有许多相同的语法特点，合称为谓词。12.谓词公式不可满足的充要条件是其子句集不可满足。13.对于一阶谓词逻辑，若子句集是不可满足的，则必存在一个从该子句集到空子句的归结演绎。14.对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。15.李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）16.一阶谓词逻辑表示的优点是（）17.一阶谓词逻辑表示法可以表示不确定的知识。18.所有北大学生（S（x））都是聪明的（P（x））”谓词公式是（）19.“有的被告（B（x））不是诚实的（C（x））”谓词公式是（）20.与“﹁x（A（x）→B（x））”相等值的谓词公式是（）