仅个体变元被量化的谓词称为()
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
出自:信阳师范学院 人工智能