仅个体变元被量化的谓词称为（）
下列属于谓词的是（）。
确定集合这个查询条件的谓词是（）。
谓词逻辑的基本组成部分是（）和常量符号，并用圆括弧、方括弧、花括弧和逗号隔开，以表示论域内的关系。
根据交往与组织的关系，可以把交往分为（）
一阶谓词逻辑可以使用的连接词有（）、（）、（）和（）
存在指定规则说明：若个体域中存在一些个体满足谓词A，则至少有某个确定的个体c满足谓词A。
与“﹁x(A(x)→B(x))”相等值的谓词公式是
通常把命题、命题变元、谓词填式和命题函数叫做谓词演算的原子公式。
谓语一定是由谓词充当的。
以下谓词等价式正确的是（）。
下列谓词公式是等价的有（）。
下列各词中属于谓词的是
谓词的语法功能是充当谓语，有时也可以做主语、宾语。
量词!表示“有且仅有",!xP（x)表示有且仅有一个个体满足谓词P（x).试用量词,,等号“=”及谓词P
4、一阶谓词逻辑表示的优点是（）
根据信任的可传递性，可以把信任关系分为：不可传递的信任关系与可传递的信任关系。（)
形容词和动词可以合称为谓词，因为（)。
如果 A 是谓词公式, x 是 A 中出现的任何变元, 则: 1)（）A不是谓词公式 4) ┐ A不 是谓词公式
10、全称量词和存在量词仅针对谓词支配的实体，不针对谓词本身，称为：
9、以下关于谓词的说法不对的是：
李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming))这里father（Liming)是（)。
李明的父亲是教师，用谓词逻辑可以表示为Teacher（father（Liming））这里father（Liming）是（）
进行范围查询可以使用以下哪个谓词（）
