第1题：
第2题：
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
第3题：
A.名量词
B.时量词
C.动量词
D.形量词
第4题：
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
第5题：
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
第6题：
A、全称量词
B、存在量词
C、自然连接
D、等值连接
第7题：
在SQL语句中，谓词“EXISTS”的含义是（）
第8题：
A、名词性词语
B、谓词性词语
C、含名量的量词短语
D、表时间的量词短语
第9题：
仅个体变元被量化的谓词称为（）
第10题：
专用名量词可以分为（）三类。