在谓词逻辑知识表示法中，如果谓词的个体本身不是谓词，那么称它为一阶谓词（）

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

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

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

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

A.常量

B.变元

C.函数

D.谓词

A.1）对、 4）对

B.2）对、3）对

C.1）对、2）对、4）对，3）错

D.1）对、2）对、3）错、4）错

A.﹁Study（zhang）∧Lucky（zhang）

B.﹁（Study（zhang）∧Lucky（zhang））

C.﹁（Study（zhang）∨Lucky（zhang））

D.﹁Study（zhang）∨Lucky（zhang）