谓词公式∃xF（x,y) ∧∀yG（x,y) 中,变元y属于（)。

A.x是约束变元，y是自由变元

B.x是自由变元，y是约束变元

C.x和y都是自由变元

D.x和y都是约束变元

A.紧接于量词之后被量词作用的谓词公式称为该量词的辖域

B.在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元

C.仅个体变元被量化的谓词成为一阶谓词

D.个体变元、函数符号和谓词符号都被量化的谓词成为多阶谓词

A.写黑板

B.打篮球

C.织毛衣

D.寄包裹

A.结构性约束、表示约束、数据元值域约束

B.结构性约束、表示约束、数据元标识约束

C.结构性约束、数据类型约束、数据元值域约束

D.结构性约束、数据类型约束、数据元标识约束

E.结构性约束、数据值域约束、数据元约束

A.增加

B.减小

C.少变

D.迅速增长

A.Ⅰ，Ⅱ，Ⅳ

B.Ⅱ，Ⅳ

C.Ⅲ，Ⅳ

D.Ⅰ，Ⅱ

A.无多余约束的几何不变体系

B.有多余约束的几何不变体系

C.常变体系

D.瞬变体系