仅个体变元被量化的谓词称为()
A:一阶谓词
B:原子公式
C:二阶谓词
D:全称量词
出自:计算机科学